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