summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHolger Levsen <holger@layer-acht.org>2017-06-21 10:51:04 +0200
committerHolger Levsen <holger@layer-acht.org>2017-06-21 10:51:04 +0200
commit31e13b413f7f24d91c8cfeb5ac0c547ea1404899 (patch)
tree903bc2d4f133b315338b22bcbd5118803646ef4f
parentf1589853fcd2f6226e2fe0e36540650e1b0dac80 (diff)
downloadjenkins.debian.net-31e13b413f7f24d91c8cfeb5ac0c547ea1404899.tar.xz
reproducible Debian: kill with force
Signed-off-by: Holger Levsen <holger@layer-acht.org>
-rwxr-xr-xbin/reproducible_node_health_check.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_node_health_check.sh b/bin/reproducible_node_health_check.sh
index c355b413..98ee33f7 100755
--- a/bin/reproducible_node_health_check.sh
+++ b/bin/reproducible_node_health_check.sh
@@ -78,7 +78,7 @@ fi
# check for hanging mounts
#
echo "$(date -u) - testing whether running 'mount' takes forever..."
-timeout 15 mount > /dev/null
+timeout -s 9 15 mount > /dev/null
TIMEOUT=$?
if [ $TIMEOUT -ne 0 ] ; then
echo "$(date -u) - running 'mount' takes forever, giving up."