Searched refs:JAVACMD (Results 1 - 1 of 1) sorted by relevance

/opengrok/
H A Dmvnw162 if [ -z "$JAVACMD" ] ; then
166 JAVACMD="$JAVA_HOME/jre/sh/java"
168 JAVACMD="$JAVA_HOME/bin/java"
171 JAVACMD="`which java`"
175 if [ ! -x "$JAVACMD" ] ; then
177 echo " We cannot execute $JAVACMD" >&2
229 exec "$JAVACMD" \

Completed in 7 milliseconds