diff options
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index 4962c3c2..0ce7ce24 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -355,7 +355,7 @@ get_source_package() { local RESULT schroot --directory $PWD -c source:jenkins-reproducible-$SUITE apt-get -- --download-only --only-source source ${SRCPACKAGE} 2>&1 | tee -a ${RBUILDLOG} RESULT=$? - if [ $RESULT != 0 ] || [ ! $(ls ${SRCPACKAGE}_*.dsc > /dev/null) ] ; then + if [ $RESULT != 0 ] || [ ! test $(ls ${SRCPACKAGE}_*.dsc 2>&1 /dev/null) ] ; then # sometimes apt-get cannot download a package for whatever reason. # if so, wait some time and try again. only if that fails, give up. echo "Download of ${SRCPACKAGE} sources from ${SUITE} failed." | tee -a ${RBUILDLOG} @@ -365,7 +365,7 @@ get_source_package() { schroot --directory $PWD -c source:jenkins-reproducible-$SUITE apt-get -- --download-only --only-source source ${SRCPACKAGE} 2>&1 | tee -a ${RBUILDLOG} RESULT=$? fi - if [ $RESULT != 0 ] || [ ! $(ls ${SRCPACKAGE}_*.dsc > /dev/null) ] ; then + if [ $RESULT != 0 ] || [ ! test $(ls ${SRCPACKAGE}_*.dsc 2>&1 /dev/null) ] ; then handle_404 fi } |