diff options
Diffstat (limited to 'lang/jruby/files/patch-jruby')
| -rw-r--r-- | lang/jruby/files/patch-jruby | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/lang/jruby/files/patch-jruby b/lang/jruby/files/patch-jruby deleted file mode 100644 index 30e069333838..000000000000 --- a/lang/jruby/files/patch-jruby +++ /dev/null @@ -1,12 +0,0 @@ ---- ./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 |