Hi Remy,

but is'nt /usr/lib/java the correct value to JRE_HOME ?

Regards
Peter


Am 17.10.2007 um 13:10 schrieb Rémy Maucherat:

On Wed, 2007-10-17 at 05:47 +0200, Peter Rossbach wrote:
Hi Remy,

I think the patch is incomplete

this line seem not correct:

+    else
+      JRE_HOME=/usr
+    fi

better
+    else
+      JRE_HOME=/usr/bin/java
+    fi

The path to the Java executable is $JRE_HOME/bin/java, so /usr is the
correct value. However, on older distributions (just tested with my F7),
it will also pick up gij if it is installed (it does not really work).

Rémy



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



Reply via email to