diff options
| -rw-r--r-- | tinderbox.make.conf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tinderbox.make.conf b/tinderbox.make.conf index ab8d6c3..561e93d 100644 --- a/tinderbox.make.conf +++ b/tinderbox.make.conf @@ -16,8 +16,8 @@ source /etc/make.tinderbox.private.conf -FETCHCOMMAND="/usr/bin/curl --location --proxy ${TINDERBOX_PROXY} --output \${DISTDIR}/\${FILE} \${URI}" -RESUMECOMMAND="/usr/bin/curl --location --proxy ${TINDERBOX_PROXY} --continue-at - --output \${DISTDIR}/\${FILE} \${URI}" +FETCHCOMMAND="/usr/bin/curl --fail --location --proxy ${TINDERBOX_PROXY} --output \${DISTDIR}/\${FILE} \${URI}" +RESUMECOMMAND="/usr/bin/curl --fail --location --proxy ${TINDERBOX_PROXY} --continue-at - --output \${DISTDIR}/\${FILE} \${URI}" FEATURES="test test-fail-continue -unmerge-logs split-log userpriv usersandbox -preserve-libs" |