5 echo "$0: <low> <high>"
14 r=$(head --bytes=2 /dev/urandom | od -l | head -n 1 | sed -e 's/^[^ ]* *//')
19 if test "x${AUTOBUILD_RANDOM_SLEEP_OVERRIDE}" != "x" ; then
20 d="${AUTOBUILD_RANDOM_SLEEP_OVERRIDE}"
23 echo "$0: sleep $d ... start"
25 echo "$0: sleep $d ... end"