From 0d081e0df2da0de021ee297a3f5fc63303bb0b55 Mon Sep 17 00:00:00 2001 From: Holger Levsen Date: Sun, 24 May 2015 10:52:33 +0200 Subject: reproducible: actually kill the build if run into timeout --- bin/reproducible_build.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'bin') diff --git a/bin/reproducible_build.sh b/bin/reproducible_build.sh index c9cb1e2d..216ce1e0 100755 --- a/bin/reproducible_build.sh +++ b/bin/reproducible_build.sh @@ -392,7 +392,7 @@ build_rebuild() { mkdir b1 b2 set -x printf "BUILDUSERID=1111\nBUILDUSERNAME=pbuilder1\n" > $TMPCFG - ( timeout 12h nice ionice -c 3 sudo \ + ( timeout -k 12h 12h nice ionice -c 3 sudo \ DEB_BUILD_OPTIONS="parallel=$NUM_CPU" \ TZ="/usr/share/zoneinfo/Etc/GMT+12" \ pbuilder --build \ @@ -411,7 +411,7 @@ build_rebuild() { echo "=============================================================================" set -x printf "BUILDUSERID=2222\nBUILDUSERNAME=pbuilder2\n" > $TMPCFG - ( timeout 12h nice ionice -c 3 sudo \ + ( timeout -k 12h 12h nice ionice -c 3 sudo \ DEB_BUILD_OPTIONS="parallel=$(echo $NUM_CPU-1|bc)" \ TZ="/usr/share/zoneinfo/Etc/GMT-14" \ LANG="fr_CH.UTF-8" \ -- cgit v1.2.3-70-g09d2