diff --git a/src/script/ant b/src/script/ant index b032dd983..a45106672 100644 --- a/src/script/ant +++ b/src/script/ant @@ -87,7 +87,10 @@ if [ -z "$JAVACMD" ] ; then JAVACMD="$JAVA_HOME/bin/java" fi else - JAVACMD=`which java` + JAVACMD=`which java 2> /dev/null ` + if [ -z "$JAVACMD" ] ; then + JAVACMD=java + fi fi fi