build.bat

来自「精通RMI 这是RMI的入门基础 特别对刚开始学RMI的同胞们很有帮助」· Batch 代码 · 共 18 行

@echo off
rem ----- Verify and Set Required Environment Variables -----------------------

if not "%JAVA_HOME%" == "" goto gotJavaHome
echo You must set JAVA_HOME to point at your Java Development Kit distribution
goto cleanup

:gotJavaHome

set _CP_=..\..\lib\ant.jar
set _CP_=%_CP_%;..\..\lib\parser.jar
set _CP_=%_CP_%;..\..\lib\jaxp.jar

%JAVA_HOME%\bin\java.exe -classpath "%JAVA_HOME%\lib\tools.jar;%_CP_%;%CLASSPATH%" org.apache.tools.ant.Main %1 %2 %3 %4 %5


:cleanup