X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fuwobo%2FantRun.bat;fp=helm%2Fuwobo%2FantRun.bat;h=0000000000000000000000000000000000000000;hb=869549224eef6278a48c16ae27dd786376082b38;hp=e83ce36bd573f00d579fd668baf516fded1f0634;hpb=89262281b6e83bd2321150f81f1a0583645eb0c8;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=