summaryrefslogtreecommitdiff
path: root/ant
diff options
context:
space:
mode:
Diffstat (limited to 'ant')
-rwxr-xr-xant11
1 files changed, 0 insertions, 11 deletions
diff --git a/ant b/ant
deleted file mode 100755
index d315114fe8..0000000000
--- a/ant
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-scriptdir=$(dirname $0)
-# TODO - We should probably make sure we don't find this script with which. Hopefully people don't actually put current directory on their path.
-ant=$(which ant)
-
-pushd $scriptdir
-bash pull-binary-libs.sh
-popd
-
-$ant $@