jakarta-ant-ANT_HOME.patch

   1 --- apache-ant-1.6.1/src/script/ant.fix 2004-03-31 20:54:36.093281896 +0200
   2 +++ apache-ant-1.6.1/src/script/ant     2004-03-31 20:55:32.140761384 +0200
   3 @@ -47,14 +47,13 @@
   4
   5  if [ -z "$ANT_HOME" -o ! -d "$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 -
  19 +  else
  20    ## resolve links - $0 may be a link to ant's home
  21    PRG="$0"
  22    progname=`basename "$0"`
  23 @@ -71,7 +70,7 @@
  24    done
  25
  26    ANT_HOME=`dirname "$PRG"`/..
  27 -
  28 +  fi
  29    # make it fully qualified
  30    ANT_HOME=`cd "$ANT_HOME" && pwd`
  31  fi