summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2015-05-24 10:52:33 +0200
committerHolger Levsen <holger@layer-acht.org>2015-05-24 10:52:33 +0200
commit0d081e0df2da0de021ee297a3f5fc63303bb0b55 (patch)
tree6b79bed974f1d01cbba181de09a24b2b0a91abaa
parentfa51aa7218f4b78f88353225edc29f8db73123fa (diff)
downloadjenkins.debian.net-0d081e0df2da0de021ee297a3f5fc63303bb0b55.tar.xz
reproducible: actually kill the build if run into timeout
-rwxr-xr-xbin/reproducible_build.sh4
1 files changed, 2 insertions, 2 deletions
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" \