X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2FantRun;fp=helm%2Fuwobo%2FantRun;h=5894f44837e33756e34a3b8530296f138f74d0ff;hb=30060cffed61b88fe53e4d6386b606050d6dfda0;hp=0000000000000000000000000000000000000000;hpb=e6927665462cbbace76cff1b17d4f8badcb44eda;p=helm.git

diff --git a/helm/uwobo/antRun b/helm/uwobo/antRun
new file mode 100755
index 000000000..5894f4483
--- /dev/null
+++ b/helm/uwobo/antRun
@@ -0,0 +1,8 @@
+#! /bin/sh
+
+if [ "$JAVA_HOME" != "" ] ; then
+	$JAVA_HOME/bin/java -cp ant/ant.jar:ant/jaxp.jar:ant/parser.jar:$JAVA_HOME/lib/tools.jar -Dant.home=. $ANT_OPTS org.apache.tools.ant.Main $@
+else
+	echo "Warning: JAVA_HOME environment variable is not set."
+fi
+