1 --- jakarta-ant-1.4.1/src/script/ant.wiget Thu Oct 11 15:58:30 2001
2 +++ jakarta-ant-1.4.1/src/script/ant Thu Mar 21 15:02:29 2002
5 if [ -z "$ANT_HOME" ] ; then
7 - if [ -d /opt/ant ] ; then
8 + if [ -f /usr/share/java/ant.jar ] ; then
9 + ANT_HOME=/usr/share/java
10 + elif [ -d /opt/ant ] ; then
14 - if [ -d ${HOME}/opt/ant ] ; then
15 + elif [ -d ${HOME}/opt/ant ] ; then
16 ANT_HOME=${HOME}/opt/ant
20 ## resolve links - $0 may be a link to ant's home
25 ANT_HOME=`dirname "$PRG"`/..
30 # For Cygwin, ensure paths are in UNIX format before anything is touched
32 CLASSPATH=`cygpath --path --unix "$CLASSPATH"`
35 +if [ -z "$JAVA_HOME" -a -x /usr/lib/java/bin/java ]; then
36 + JAVA_HOME=/usr/lib/java
39 if [ -z "$JAVACMD" ] ; then
40 if [ -n "$JAVA_HOME" ] ; then
41 if [ -x "$JAVA_HOME/jre/sh/java" ] ; then