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 7dedf5b..9e011ae 100644 --- a/tinderbox.make.conf +++ b/tinderbox.make.conf @@ -16,8 +16,8 @@ source /etc/make.tinderbox.private.conf -FETCHCOMMAND="/usr/bin/curl --location ${TINDERBOX_PROXY+--proxy ${TINDERBOX_PROXY}} --output \${DISTDIR}/\${FILE} \${URI}" -RESUMECOMMAND="/usr/bin/curl --location ${TINDERBOX_PROXY+--proxy ${TINDERBOX_PROXY}} --continue-at - --output \${DISTDIR}/\${FILE} \${URI}" +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}" FEATURES="test test-fail-continue -unmerge-logs split-log userpriv usersandbox compress-build-logs -preserve-libs" |