]> git.pld-linux.org Git - packages/ant.git/commitdiff
make ant work out of the box
authorArtur Frysiak <artur@frysiak.net>
Thu, 21 Mar 2002 14:40:22 +0000 (14:40 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    jakarta-ant-ANT_HOME.patch -> 1.1

jakarta-ant-ANT_HOME.patch [new file with mode: 0644]

diff --git a/jakarta-ant-ANT_HOME.patch b/jakarta-ant-ANT_HOME.patch
new file mode 100644 (file)
index 0000000..1d41720
--- /dev/null
@@ -0,0 +1,30 @@
+--- jakarta-ant-1.4.1/src/script/ant.wiget     Thu Oct 11 15:58:30 2001
++++ jakarta-ant-1.4.1/src/script/ant   Thu Mar 21 15:02:29 2002
+@@ -14,13 +14,13 @@
+ if [ -z "$ANT_HOME" ] ; then
+   # try to find ANT
+-  if [ -d /opt/ant ] ; then 
++  if [ -f /usr/share/java/ant.jar ] ; then 
++    ANT_HOME=/usr/share/java
++  elif [ -d /opt/ant ] ; then 
+     ANT_HOME=/opt/ant
+-  fi
+-
+-  if [ -d ${HOME}/opt/ant ] ; then 
++  elif [ -d ${HOME}/opt/ant ] ; then 
+     ANT_HOME=${HOME}/opt/ant
+-  fi
++  else        
+   ## resolve links - $0 may be a link to ant's home
+   PRG=$0
+@@ -37,7 +37,7 @@
+   done
+   
+   ANT_HOME=`dirname "$PRG"`/..
+-
++  fi
+ fi
+ # For Cygwin, ensure paths are in UNIX format before anything is touched
This page took 0.032755 seconds and 4 git commands to generate.