diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-11-21 12:39:52 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-11-21 12:39:52 +0100 |
| commit | 904f5e34fbd3876b122b0842f74d332f4de5a287 (patch) | |
| tree | fa126cf91581f7a8275e7c18212981b28ee18aef /bin | |
| parent | e9b5d5af1fde52a271d0e4bee988e458d2b2de11 (diff) | |
| download | jenkins.debian.net-904f5e34fbd3876b122b0842f74d332f4de5a287.tar.xz | |
reproducible: use 'apt-get source ' instead of 'apt-get source ' because else downloading of 0ad* sources fails...
Diffstat (limited to 'bin')
| -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. |