1 files changed, 0 insertions, 9 deletions
diff --git a/tools/bin/antRun b/tools/bin/antRun
deleted file mode 100755
index f0a18f1653..0000000000
--- a/tools/bin/antRun
+++ /dev/null
@@ -1,9 +0,0 @@
-#! /bin/sh
-
-# Args: DIR command
-cd "$1"
-CMD="$2"
-shift
-shift
-
-exec $CMD "$@"