* Only set JAVA to $JAVA_HOME/jre/bin/java if JAVA_HOME is not empty;
[debian/jabref.git] / jabref
diff --git a/jabref b/jabref
index 2596eba..8f8c305 100644 (file)
--- a/jabref
+++ b/jabref
@@ -3,11 +3,11 @@
 # jabref wrapper script
 # code for java detection borrowed from tuxguitar
 
-if [ -z $JAVA_HOME ] ; then
+if [ -z "$JAVA_HOME" ] ; then
        t=/usr/lib/jvm/java-1.5.0-sun && test -d $t && JAVA_HOME=$t
        t=/usr/lib/jvm/java-6-sun && test -d $t && JAVA_HOME=$t
        t=/usr/lib/jvm/java-7-icedtea && test -d $t && JAVA_HOME=$t
-       JAVA=${JAVA_HOME}/jre/bin/java
+       test -n "$JAVA_HOME" && JAVA=${JAVA_HOME}/jre/bin/java
 fi
 
 export JAVA=${JAVA:=java}