Skip to content
项目
群组
代码片段
帮助
正在加载...
帮助
为 GitLab 提交贡献
登录/注册
切换导航
H
h2database
项目
项目
详情
活动
周期分析
仓库
仓库
文件
提交
分支
标签
贡献者
分枝图
比较
统计图
议题
0
议题
0
列表
看板
标记
里程碑
合并请求
0
合并请求
0
CI / CD
CI / CD
流水线
作业
计划
统计图
Wiki
Wiki
代码片段
代码片段
成员
成员
折叠边栏
关闭边栏
活动
分枝图
统计图
创建新议题
作业
提交
议题看板
打开侧边栏
Administrator
h2database
Commits
d4492a32
提交
d4492a32
authored
4月 12, 2008
作者:
Thomas Mueller
浏览文件
操作
浏览文件
下载
电子邮件补丁
差异文件
--no commit message
--no commit message
上级
8f3e0887
隐藏空白字符变更
内嵌
并排
正在显示
2 个修改的文件
包含
2 行增加
和
2 行删除
+2
-2
build.bat
h2/build.bat
+2
-1
build.sh
h2/build.sh
+0
-1
没有找到文件。
h2/build.bat
浏览文件 @
d4492a32
@echo off
if "%JAVA_HOME%"=="" echo Error: JAVA_HOME is not defined.
if exist bin/org/h2/build/Build.class goto buildOK
if not exist bin mkdir bin
javac -sourcepath src/tools -d bin src/tools/org/h2/build/*.java
:buildOK
java -cp "bin;%JAVA_HOME%/lib/tools.jar;target" org.h2.build.Build %1
\ No newline at end of file
java -cp "bin;%JAVA_HOME%/lib/tools.jar;target" org.h2.build.Build %1 %2 %3 %4 %5
\ No newline at end of file
h2/build.sh
浏览文件 @
d4492a32
#! /bin/sh
if
[
-z
"
$JAVA_HOME
"
]
;
then
echo
"Error: JAVA_HOME is not defined."
exit
1
fi
if
[
!
-f
"bin/org/h2/build/Build.class"
]
;
then
if
[
!
-d
"bin"
]
;
then
...
...
编写
预览
Markdown
格式
0%
重试
或
添加新文件
添加附件
取消
您添加了
0
人
到此讨论。请谨慎行事。
请先完成此评论的编辑!
取消
请
注册
或者
登录
后发表评论