diff options
Diffstat (limited to '')
| -rw-r--r-- | devel/jakarta-ant/files/patch-bin::ant | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/devel/jakarta-ant/files/patch-bin::ant b/devel/jakarta-ant/files/patch-bin::ant new file mode 100644 index 000000000000..40958b1aae04 --- /dev/null +++ b/devel/jakarta-ant/files/patch-bin::ant @@ -0,0 +1,28 @@ +--- bin/ant.orig Thu Oct 11 15:57:19 2001 ++++ bin/ant Sat Apr 13 13:12:06 2002 +@@ -1,9 +1,16 @@ + #! /bin/sh + ++DEFAULT_JAVACMD=%%JAVA%% ++DEFAULT_JAVA_HOME=%%JAVA_HOME%% ++ + if [ -f $HOME/.antrc ] ; then + . $HOME/.antrc + fi + ++if [ -z "$JAVA_HOME" ] ; then ++ JAVA_HOME=$DEFAULT_JAVA_HOME ++fi ++ + # OS specific support. $var _must_ be set to either true or false. + cygwin=false; + darwin=false; +@@ -59,7 +66,7 @@ + JAVACMD=$JAVA_HOME/bin/java + fi + else +- JAVACMD=java ++ JAVACMD=$DEFAULT_JAVACMD + fi + fi + |