]> matita.cs.unibo.it Git - helm.git/blob - helm/uwobo/antRun.bat
Initial revision
[helm.git] / helm / uwobo / antRun.bat
1 @echo off
2 set ANT_CMD_LINE_ARGS=
3
4 :setupArgs
5 if %1a==a goto checkJavaHome
6 set ANT_CMD_LINE_ARGS=%ANT_CMD_LINE_ARGS% %1
7 shift
8 goto setupArgs
9
10 :checkJavaHome
11 if not "%JAVA_HOME%" == "" goto runAnt
12 echo Warning: JAVA_HOME environment variable is not set.
13
14 :runAnt
15 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%
16
17 set ANT_CMD_LINE_ARGS=