From 5bb4e7a4c09052c153da40ed20506f2ef5f2a2f5 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Mon, 6 Oct 2014 01:00:33 +0200 Subject: reproducible: use timeout to kill debbindiff after 15m --- bin/reproducible_build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'bin') 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/ -- cgit v1.2.3-54-g00ecf