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 | |
| 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')
| -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 |