]> git.pld-linux.org Git - packages/ant.git/commitdiff
- updated for 1.6.3
authorJakub Bogusz <qboosh@pld-linux.org>
Sat, 7 May 2005 10:08:49 +0000 (10:08 +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.5

jakarta-ant-ANT_HOME.patch

index 341ea1585618c7e9b70eed26cb65de3c5568377b..834f5971ec891fb8a00286848d55e6b77dfafbc4 100644 (file)
@@ -1,31 +1,20 @@
---- apache-ant-1.6.1/src/script/ant.fix        2004-03-31 20:54:36.093281896 +0200
-+++ apache-ant-1.6.1/src/script/ant    2004-03-31 20:55:32.140761384 +0200
-@@ -47,14 +47,13 @@
+--- apache-ant-1.6.3/src/script/ant.orig       2005-04-28 15:43:12.000000000 +0200
++++ apache-ant-1.6.3/src/script/ant    2005-05-07 11:48:33.504821320 +0200
+@@ -87,6 +87,9 @@
+ esac
  
  if [ -z "$ANT_HOME" -o ! -d "$ANT_HOME" ] ; then
-   # try to find ANT
--  if [ -d /opt/ant ] ; then
-+  if [ -f /usr/share/java/ant.jar ] ; 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"
    progname=`basename "$0"`
-@@ -71,7 +70,7 @@
-   done
+@@ -106,6 +109,7 @@
  
-   ANT_HOME=`dirname "$PRG"`/..
--
-+  fi
    # make it fully qualified
    ANT_HOME=`cd "$ANT_HOME" && pwd`
++  fi
  fi
+ # For Cygwin, ensure paths are in UNIX format before anything is touched
This page took 0.044313 seconds and 4 git commands to generate.