1 files changed, 11 insertions, 0 deletions
diff --git a/ant b/ant
new file mode 100755
index 0000000000..d315114fe8
--- /dev/null
+++ b/ant
@@ -0,0 +1,11 @@
+#!/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 $@