diff options
author | schmonz <schmonz> | 2002-06-03 05:07:46 +0000 |
---|---|---|
committer | schmonz <schmonz> | 2002-06-03 05:07:46 +0000 |
commit | de805b5c0b153137c88d3055e9101318767aa53a (patch) | |
tree | 84441ee68695b9b9a04845c1bce2718a7c3b7bed /devel/jakarta-ant | |
parent | 4d62123f406f80751df2341f9e3e22b1b04d07d7 (diff) | |
download | pkgsrc-de805b5c0b153137c88d3055e9101318767aa53a.tar.gz |
The default value of JAVA_HOME should be ${JAVA_HOME}, not ${PREFIX}/java.
Diffstat (limited to 'devel/jakarta-ant')
-rw-r--r-- | devel/jakarta-ant/files/ant | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/devel/jakarta-ant/files/ant b/devel/jakarta-ant/files/ant index 79a64989394..6175a6d0cf4 100644 --- a/devel/jakarta-ant/files/ant +++ b/devel/jakarta-ant/files/ant @@ -14,7 +14,7 @@ if [ "$JAVA_HOME" != "" ] ; then JAVACMD=$JAVA_HOME/bin/java fi else - JAVA_HOME=@PREFIX@/java + JAVA_HOME=@JAVA_HOME@ if [ "$JAVACMD" = "" ] ; then JAVACMD=$JAVA_HOME/bin/java fi |