build.sh

来自「Java的面向对象数据库系统的源代码」· Shell 代码 · 共 17 行

SH
17
字号
#!/bin/sh# $Id: build.sh,v 1.1 2000/09/27 14:35:55 lars Exp $if [ -z $TOOLS_HOME ] ; then    TOOLS_HOME=`dirname $0`    export TOOLS_HOME    echo "\$TOOLS_HOME is not set. Using $TOOLS_HOME instead."fi. $TOOLS_HOME/bin/toolsEnvANT_HOME=$TOOLS_HOME. `dirname $0`/bin/ant $@#$OZONE_JVM org.apache.tools.ant.Main "$@" -buildfile build.xml

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?