jakarta-ant-ANT_HOME.patch

   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
   3 @@ -14,13 +14,13 @@
   4
   5  if [ -z "$ANT_HOME" ] ; then
   6    # try to find ANT
   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
  11      ANT_HOME=/opt/ant
  12 -  fi
  13 -
  14 -  if [ -d ${HOME}/opt/ant ] ; then
  15 +  elif [ -d ${HOME}/opt/ant ] ; then
  16      ANT_HOME=${HOME}/opt/ant
  17 -  fi
  18 +  else
  19
  20    ## resolve links - $0 may be a link to ant's home
  21    PRG=$0
  22 @@ -37,7 +37,7 @@
  23    done
  24
  25    ANT_HOME=`dirname "$PRG"`/..
  26 -
  27 +  fi
  28  fi
  29
  30  # For Cygwin, ensure paths are in UNIX format before anything is touched
  31 @@ -50,6 +50,10 @@
  32      CLASSPATH=`cygpath --path --unix "$CLASSPATH"`
  33  fi
  34
  35 +if [ -z "$JAVA_HOME" -a -x /usr/lib/java/bin/java ]; then
  36 +       JAVA_HOME=/usr/lib/java
  37 +fi
  38 +
  39  if [ -z "$JAVACMD" ] ; then
  40    if [ -n "$JAVA_HOME"  ] ; then
  41      if [ -x "$JAVA_HOME/jre/sh/java" ] ; then