summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2014-10-06 01:00:33 +0200
committerHolger Levsen <holger@layer-acht.org>2014-10-06 01:00:33 +0200
commit5bb4e7a4c09052c153da40ed20506f2ef5f2a2f5 (patch)
tree4187e259ff827369a028d36df108c5d30bfccc50
parent7b3dea89e8d2fb6ae2f61f1a0e7ea42484c01b7e (diff)
downloadjenkins.debian.net-5bb4e7a4c09052c153da40ed20506f2ef5f2a2f5.tar.xz
reproducible: use timeout to kill debbindiff after 15m
-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 5bc7f647..63b2ff74 100755
--- a/bin/reproducible_build.sh
+++ b/bin/reproducible_build.sh
@@ -174,7 +174,7 @@ for SRCPACKAGE in ${PACKAGES} ; do
LOGFILE=$(ls ${SRCPACKAGE}_${EVERSION}.dsc)
LOGFILE=$(echo ${LOGFILE%.dsc}.debbindiff.html)
BUILDINFO=${SRCPACKAGE}_${EVERSION}_amd64.buildinfo
- /var/lib/jenkins/debbindiff.git/debbindiff.py --html ./${LOGFILE} b1/${SRCPACKAGE}_${EVERSION}_amd64.changes b2/${SRCPACKAGE}_${EVERSION}_amd64.changes > /dev/null || true
+ timeout -k 15m /var/lib/jenkins/debbindiff.git/debbindiff.py --html ./${LOGFILE} b1/${SRCPACKAGE}_${EVERSION}_amd64.changes b2/${SRCPACKAGE}_${EVERSION}_amd64.changes 2>&1 > ${RBUILDLOG} || echo "debbindiff.py exited with error!" >> ./${LOGFILE}
if [ ! -f ./${LOGFILE} ] && [ -f b1/${BUILDINFO} ] ; then
cleanup_userContent
cp b1/${BUILDINFO} /var/lib/jenkins/userContent/buildinfo/