ports/lang/jruby/files/patch-jruby
Tong LIU 55d84a752c - Update to 1.1.3
PR:		125937
Submitted by:	Geoff The <geoff2k@gmail.com>
2008-09-05 07:11:26 +00:00

13 lines
369 B
Plaintext

--- ./bin/jruby.old 2008-04-23 11:36:44.368716680 +0800
+++ ./bin/jruby 2008-04-23 11:40:04.632441243 +0800
@@ -37,6 +37,9 @@
JRUBY_HOME_1=`dirname "$PRG"` # the ./bin dir
JRUBY_HOME=`dirname "$JRUBY_HOME_1"` # the . dir
+# Set JAVA_HOME to the value the port was built with
+JAVA_HOME=%%JAVA_HOME%%
+
if [ -z "$JRUBY_OPTS" ] ; then
JRUBY_OPTS=""
fi