]> git.pld-linux.org Git - packages/ant.git/blame - jakarta-ant-ANT_HOME.patch
- massive attack: source-md5
[packages/ant.git] / jakarta-ant-ANT_HOME.patch
CommitLineData
e210b8c4
AM
1diff -urN jakarta-ant-1.5.1.org/src/script/ant jakarta-ant-1.5.1/src/script/ant
2--- jakarta-ant-1.5.1.org/src/script/ant Wed Nov 27 00:01:16 2002
3+++ jakarta-ant-1.5.1/src/script/ant Wed Nov 27 00:06:27 2002
4@@ -35,13 +35,13 @@
285564b2
AF
5
6 if [ -z "$ANT_HOME" ] ; then
7 # try to find ANT
8- if [ -d /opt/ant ] ; then
9+ if [ -f /usr/share/java/ant.jar ] ; then
10+ ANT_HOME=/usr/share/java
11+ elif [ -d /opt/ant ] ; then
12 ANT_HOME=/opt/ant
13- fi
14-
e210b8c4
AM
15- if [ -d "${HOME}/opt/ant" ] ; then
16+ elif [ -d "${HOME}/opt/ant" ] ; then
17 ANT_HOME="${HOME}/opt/ant"
285564b2 18- fi
e210b8c4 19+ else
285564b2
AF
20
21 ## resolve links - $0 may be a link to ant's home
e210b8c4
AM
22 PRG="$0"
23@@ -65,6 +65,8 @@
285564b2 24
e210b8c4
AM
25 cd "$saveddir"
26
27+ fi
28+
29 # make it fully qualified
30 ANT_HOME=`cd "$ANT_HOME" && pwd`
026df7b0 31 fi
e210b8c4
AM
32@@ -82,6 +84,10 @@
33 # set ANT_LIB location
34 ANT_LIB="${ANT_HOME}/lib"
026df7b0
JB
35
36+if [ -z "$JAVA_HOME" -a -x /usr/lib/java/bin/java ]; then
e210b8c4 37+ JAVA_HOME=/usr/lib/java
026df7b0
JB
38+fi
39+
40 if [ -z "$JAVACMD" ] ; then
41 if [ -n "$JAVA_HOME" ] ; then
42 if [ -x "$JAVA_HOME/jre/sh/java" ] ; then
This page took 2.820212 seconds and 4 git commands to generate.