diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-03-28 11:55:11 +0100 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-03-28 11:55:11 +0100 |
| commit | f646f2789c388b7e456807e332e858c3da99cd9c (patch) | |
| tree | 376de5b5639b1b2520bef7f3ef9d0a81e66181d4 /bin | |
| parent | 78328d23da08f533b0738c907b1f90be6945e198 (diff) | |
| download | jenkins.debian.net-f646f2789c388b7e456807e332e858c3da99cd9c.tar.xz | |
reproducible: let debbindiff run for 30min before killing it
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 a18119b4..09dda05c 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -88,7 +88,7 @@ call_debbindiff() { fi echo | tee -a ${RBUILDLOG} echo "$(date) - $(schroot --directory /tmp -c source:jenkins-reproducible-unstable-debbindiff debbindiff -- --version 2>&1) will be used to compare the two builds now." | tee -a ${RBUILDLOG} - ( timeout 15m schroot --directory $TMPDIR -c source:jenkins-reproducible-unstable-debbindiff debbindiff -- --html ./${LOGFILE} ./b1/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes ./b2/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes 2>&1 ) 2>&1 >> ${RBUILDLOG} + ( timeout 30m schroot --directory $TMPDIR -c source:jenkins-reproducible-unstable-debbindiff debbindiff -- --html ./${LOGFILE} ./b1/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes ./b2/${SRCPACKAGE}_${EVERSION}_${ARCH}.changes 2>&1 ) 2>&1 >> ${RBUILDLOG} RESULT=$? set +x set -e |