X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2FantRun.bat;fp=helm%2Fuwobo%2FantRun.bat;h=0000000000000000000000000000000000000000;hb=bb2953675ebb08267186029b18bc3fdca9c137df;hp=e83ce36bd573f00d579fd668baf516fded1f0634;hpb=1cfcea66d7394a785ec439cd6b03497b276918c4;p=helm.git

diff --git a/helm/uwobo/antRun.bat b/helm/uwobo/antRun.bat
deleted file mode 100644
index e83ce36bd..000000000
--- a/helm/uwobo/antRun.bat
+++ /dev/null
@@ -1,17 +0,0 @@
-@echo off
-set ANT_CMD_LINE_ARGS=
-
-:setupArgs
-if %1a==a goto checkJavaHome
-set ANT_CMD_LINE_ARGS=%ANT_CMD_LINE_ARGS% %1
-shift
-goto setupArgs
-
-:checkJavaHome
-if not "%JAVA_HOME%" == "" goto runAnt
-echo Warning: JAVA_HOME environment variable is not set.
-
-:runAnt
-java -cp ant\ant.jar;ant\jaxp.jar;ant\parser.jar;%JAVA_HOME%\lib\tools.jar -Dant.home=.\ org.apache.tools.ant.Main %ANT_CMD_LINE_ARGS%
-
-set ANT_CMD_LINE_ARGS=