diff options
| author | Holger Levsen <holger@layer-acht.org> | 2015-05-24 10:52:33 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2015-05-24 10:52:33 +0200 |
| commit | 0d081e0df2da0de021ee297a3f5fc63303bb0b55 (patch) | |
| tree | 6b79bed974f1d01cbba181de09a24b2b0a91abaa | |
| parent | fa51aa7218f4b78f88353225edc29f8db73123fa (diff) | |
| download | jenkins.debian.net-0d081e0df2da0de021ee297a3f5fc63303bb0b55.tar.xz | |
reproducible: actually kill the build if run into timeout
| -rwxr-xr-x | bin/reproducible_build.sh | 4 |
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" \ |