Searched refs:JAVA_HOME (Results 1 – 1 of 1) sorted by relevance
70 if [ -n "$JAVA_HOME" ] ; then71 if [ -x "$JAVA_HOME/jre/sh/java" ] ; then73 JAVACMD="$JAVA_HOME/jre/sh/java"75 JAVACMD="$JAVA_HOME/bin/java"78 die "ERROR: JAVA_HOME is set to an invalid directory: $JAVA_HOME