diff --git a/Tools/sleep b/Tools/sleep
new file mode 100755
index 000000000..45c0e3737
--- /dev/null
+++ b/Tools/sleep
@@ -0,0 +1,7 @@
+#!/bin/sh
+
+SLEEP=/bin/sleep
+
+if [ -z $NOSLEEP ]; then
+  exec $SLEEP $*
+fi
\ No newline at end of file