build.bat

   1 @echo off
   2
   3 if ("%JAVA_HOME%") == ("") GOTO ERROR1
   4 echo JAVA_HOME is set to "%JAVA_HOME%"
   5
   6 if NOT EXIST "%JAVA_HOME%\bin\java.exe" GOTO ERROR2
   7 "%JAVA_HOME%\bin\java" -Xmx768M -Xms256M -jar core\lib\ant-launcher.jar -lib "%JAVA_HOME%\lib" -lib core\lib -f all\build.xml %*
   8 GOTO :END
   9
  10 :ERROR1
  11 echo ERROR: JAVA_HOME is not set.
  12 GOTO :HELP
  13
  14 :ERROR2
  15 echo ERROR: JAVA_HOME is set to a wrong value, was expecting "%JAVA_HOME%\bin\java.exe" to exist.
  16 GOTO :HELP
  17
  18 :HELP
  19 echo A typical java home is C:\Program Files\Java\jdk1.6.0 (or 'jdk1.6.1' ...)
  20 pause
  21 GOTO :END
  22
  23 :END