diff options
| author | Ernst de Haan <znerd@FreeBSD.org> | 2002-04-13 11:35:48 +0000 |
|---|---|---|
| committer | Ernst de Haan <znerd@FreeBSD.org> | 2002-04-13 11:35:48 +0000 |
| commit | 136c2d834e1574e02b494eb4f5e2ca4eb79e37d4 (patch) | |
| tree | 9949eb91a6ccc9c9905b3ac32b35f71489a66b5c /devel/apache-ant/files | |
| parent | 29d7824fd0b3e0fb0f26ccc78143afa348ffc067 (diff) | |
| download | ports-136c2d834e1574e02b494eb4f5e2ca4eb79e37d4.tar.gz ports-136c2d834e1574e02b494eb4f5e2ca4eb79e37d4.zip | |
Notes
Diffstat (limited to 'devel/apache-ant/files')
| -rw-r--r-- | devel/apache-ant/files/patch-bin::ant | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/devel/apache-ant/files/patch-bin::ant b/devel/apache-ant/files/patch-bin::ant new file mode 100644 index 000000000000..40958b1aae04 --- /dev/null +++ b/devel/apache-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 + |