diff options
Diffstat (limited to 'bin/reproducible_build.sh')
-rwxr-xr-x | bin/reproducible_build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 1761f9a2..835fd802 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -60,7 +60,7 @@ else echo "The jenkins build log is/was available at $BUILD_URL/console" | tee -a ${RBUILDLOG} # host has only sid in deb-src in sources.list set +e - apt-get source --download-only --only-source ${SRCPACKAGE} >> ${RBUILDLOG} 2>&1 + apt-get --download-only --only-source source ${SRCPACKAGE} >> ${RBUILDLOG} 2>&1 RESULT=$? if [ $RESULT != 0 ] ; then # sometimes apt-get cannot download a package for whatever reason. |