1
1
From: Sebastien Delafond <seb@debian.org>
2
2
Date: Thu, 29 Jul 2010 19:46:38 +0200
3
Subject: [PATCH] jruby_home is at a specific location on Debian
3
Subject: jruby_home is at a specific location on Debian
7
1 files changed, 2 insertions(+), 1 deletions(-)
7
1 files changed, 5 insertions(+), 0 deletions(-)
9
9
diff --git a/bin/jruby.sh b/bin/jruby.sh
10
index 395da7c..27b0359 100755
10
index 395da7c..67fe065 100755
13
@@ -46,6 +46,7 @@ if [ "$JRUBY_HOME_1" = '.' ] ; then
13
@@ -47,6 +47,11 @@ else
15
14
JRUBY_HOME=`dirname "$JRUBY_HOME_1"` # the . dir
17
+JRUBY_HOME=/usr/lib/jruby/
17
+# set JRUBY_HOME to /u/l/jruby except for its own build process
18
+if [ -z "$BUILDING_JRUBY" ]; then
19
+ JRUBY_HOME=/usr/lib/jruby/
19
22
if [ -z "$JRUBY_OPTS" ] ; then
21
@@ -288,7 +289,7 @@ fi
22
JFFI_OPTS="-Djffi.boot.library.path=$JFFI_BOOT"
25
- JRUBY_HOME=`cygpath --mixed "$JRUBY_HOME"`
26
+ JRUBY_HOME=/usr/lib/jruby/
27
JRUBY_SHELL=`cygpath --mixed "$JRUBY_SHELL"`
29
if [[ ( "${1:0:1}" = "/" ) && ( ( -f "$1" ) || ( -d "$1" )) ]]; then