jakarta-ant-ANT_HOME.patch

   1 --- apache-ant-1.6.3/src/script/ant.orig        2005-04-28 15:43:12.000000000 +0200
   2 +++ apache-ant-1.6.3/src/script/ant     2005-05-07 11:48:33.504821320 +0200
   3 @@ -87,6 +87,9 @@
   4  esac
   5
   6  if [ -z "$ANT_HOME" -o ! -d "$ANT_HOME" ] ; then
   7 +  if [ -f /usr/share/java/ant.jar ]; then
   8 +    ANT_HOME=/usr/share/java
   9 +  else
  10    ## resolve links - $0 may be a link to ant's home
  11    PRG="$0"
  12    progname=`basename "$0"`
  13 @@ -106,6 +109,7 @@
  14
  15    # make it fully qualified
  16    ANT_HOME=`cd "$ANT_HOME" && pwd`
  17 +  fi
  18  fi
  19
  20  # For Cygwin, ensure paths are in UNIX format before anything is touched