提交 800c3dfa authored 作者: Thomas Mueller's avatar Thomas Mueller

Debian compatiblity

上级 aa85b354
......@@ -6,7 +6,7 @@ if [ -z "$JAVA_HOME" ] ; then
echo "Error: JAVA_HOME is not defined."
fi
fi
if [ "$1" == "clean" ] ; then rm -rf temp bin ; fi
if [ "$1" = "clean" ] ; then rm -rf temp bin ; fi
if [ ! -d "temp" ] ; then mkdir temp ; fi
if [ ! -d "bin" ] ; then mkdir bin ; fi
javac -sourcepath src/tools -d bin src/tools/org/h2/build/*.java
......
Markdown 格式
0%
您添加了 0 到此讨论。请谨慎行事。
请先完成此评论的编辑!
注册 或者 后发表评论