diff options
| author | schmonz <schmonz@pkgsrc.org> | 2002-06-03 05:07:46 +0000 |
|---|---|---|
| committer | schmonz <schmonz@pkgsrc.org> | 2002-06-03 05:07:46 +0000 |
| commit | a4801ddaae400b669eece72ea812a7d2a355bbc0 (patch) | |
| tree | 84441ee68695b9b9a04845c1bce2718a7c3b7bed | |
| parent | 6b24746a04dd20e612a31ab45a5a7839db239a85 (diff) | |
| download | pkgsrc-a4801ddaae400b669eece72ea812a7d2a355bbc0.tar.gz | |
The default value of JAVA_HOME should be ${JAVA_HOME}, not ${PREFIX}/java.
| -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 |