diff options
Diffstat (limited to 'script')
-rwxr-xr-x | script/random-sleep.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/script/random-sleep.sh b/script/random-sleep.sh index 9bb866b3e09..6d79ffbf299 100755 --- a/script/random-sleep.sh +++ b/script/random-sleep.sh @@ -16,6 +16,10 @@ r=$(head --bytes=2 /dev/urandom | od -l | head -n 1 | sed -e 's/^[^ ]* *//') v=$(expr $r % $s) d=$(expr $l + $v) +if test "x${AUTOBUILD_RANDOM_SLEEP_OVERRIDE}" != "x" ; then + d="${AUTOBUILD_RANDOM_SLEEP_OVERRIDE}" +fi + echo "$0: sleep $d ... start" sleep $d echo "$0: sleep $d ... end" |