]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/antRun.bat
This commit was manufactured by cvs2svn to create branch 'init'.
[helm.git] / helm / uwobo / antRun.bat
diff --git a/helm/uwobo/antRun.bat b/helm/uwobo/antRun.bat
deleted file mode 100644 (file)
index e83ce36..0000000
+++ /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=