提交 e52e4418 authored 作者: Thomas Mueller's avatar Thomas Mueller

build: support -Dclean

上级 0756ad44
@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"=="-Dclean" rmdir /s /q temp | rmdir /s /q bin
if not exist temp mkdir temp if not exist temp mkdir temp
if not exist bin mkdir bin if not exist bin mkdir bin
if exist bin/org/h2/build/Build.class goto buildOK if exist bin/org/h2/build/Build.class goto buildOK
......
...@@ -6,6 +6,9 @@ if [ -z "$JAVA_HOME" ] ; then ...@@ -6,6 +6,9 @@ if [ -z "$JAVA_HOME" ] ; then
echo "Error: JAVA_HOME is not defined." echo "Error: JAVA_HOME is not defined."
fi fi
fi fi
if [ $1 == "-Dclean" ] ; then
rm -rf temp bin
fi
if [ ! -d "temp" ] ; then if [ ! -d "temp" ] ; then
mkdir temp mkdir temp
fi fi
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论