From 136c2d834e1574e02b494eb4f5e2ca4eb79e37d4 Mon Sep 17 00:00:00 2001 From: Ernst de Haan Date: Sat, 13 Apr 2002 11:35:48 +0000 Subject: Now uses ${USE_JAVA} and ${FIND}. Using ${SED} i.s.o. ${PERL} for replacements. Made the output of the make process friendlier. Fixed the problem that JAVA_HOME had to be set. Bumped PORTREVISION. PR: 32382 --- devel/jakarta-ant/files/patch-bin::ant | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 devel/jakarta-ant/files/patch-bin::ant (limited to 'devel/jakarta-ant/files/patch-bin::ant') 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 + -- cgit v1.2.3