From de805b5c0b153137c88d3055e9101318767aa53a Mon Sep 17 00:00:00 2001
From: schmonz <schmonz>
Date: Mon, 3 Jun 2002 05:07:46 +0000
Subject: The default value of JAVA_HOME should be ${JAVA_HOME}, not
 ${PREFIX}/java.

---
 devel/jakarta-ant/files/ant | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'devel')

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
-- 
cgit v1.2.3