summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-03-28 11:55:11 +0100
committerHolger Levsen <holger@layer-acht.org>2015-03-28 11:55:11 +0100
commitf646f2789c388b7e456807e332e858c3da99cd9c (patch)
tree376de5b5639b1b2520bef7f3ef9d0a81e66181d4
parent78328d23da08f533b0738c907b1f90be6945e198 (diff)
downloadjenkins.debian.net-f646f2789c388b7e456807e332e858c3da99cd9c.tar.xz
reproducible: let debbindiff run for 30min before killing it
-rwxr-xr-xbin/reproducible_build.sh2
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