1 files changed, 0 insertions, 25 deletions
diff --git a/script/random-sleep.sh b/script/random-sleep.sh
deleted file mode 100755
index 6d79ffbf299..00000000000
--- a/script/random-sleep.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/sh
-#
-
-if [ $# -lt 2 ]; then
-	echo "$0: <low> <high>"
-	exit 1;
-fi
-
-l=$1
-h=$2
-
-s=$(expr $h - $l)
-
-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"