提交 1b096e2d authored 作者: Thomas Mueller's avatar Thomas Mueller

Improve build script

上级 a8f6386a
@echo off @echo off
if "%JAVA_HOME%"=="" echo Error: JAVA_HOME is not defined. if "%JAVA_HOME%"=="" echo Error: JAVA_HOME is not defined.
if "%1"=="clean" rmdir /s /q temp | rmdir /s /q bin if "%1"=="clean" rmdir /s /q temp bin 2>nul
if not exist temp mkdir temp if not exist temp mkdir temp
if not exist bin mkdir bin if not exist bin mkdir bin
"%JAVA_HOME%/bin/javac" -sourcepath src/tools -d bin src/tools/org/h2/build/*.java "%JAVA_HOME%/bin/javac" -sourcepath src/tools -d bin src/tools/org/h2/build/*.java
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论