1 files changed, 0 insertions, 13 deletions
diff --git a/src/bin/antRun b/src/bin/antRun
deleted file mode 100644
index 4c38b1803..000000000
--- a/src/bin/antRun
+++ /dev/null
@@ -1,13 +0,0 @@
-#! /bin/sh
-
-# Args: DIR command
-cd $1
-CMD=$2
-shift
-shift
-
-if test -f $CMD.sh; then
-  CMD="sh $CMD.sh"
-fi
-
-echo $CMD $@ | sh