File: build.bat

package info (click to toggle)
h2database 2.2.220-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 19,756 kB
  • sloc: java: 241,177; sql: 29,722; jsp: 835; javascript: 753; xml: 722; sh: 181; makefile: 17
file content (7 lines) | stat: -rw-r--r-- 385 bytes parent folder | download | duplicates (9) 
1
2
3
4
5
6
7
 
@echo off
if "%JAVA_HOME%"=="" echo Error: JAVA_HOME is not defined.
if "%1"=="clean" rmdir /s /q temp bin 2>nul
if not exist temp mkdir temp
if not exist bin mkdir bin
"%JAVA_HOME%/bin/javac" -sourcepath src/tools -d bin src/tools/org/h2/build/*.java
"%JAVA_HOME%/bin/java" -Djava.net.useSystemProxies=true -Xmx256m -cp "bin;%JAVA_HOME%/lib/tools.jar;temp" org.h2.build.Build %*