diff --git a/src/script/ant b/src/script/ant index fe0a20922..fa75fc3d9 100644 --- a/src/script/ant +++ b/src/script/ant @@ -87,7 +87,7 @@ if [ -z "$JAVACMD" ] ; then JAVACMD="$JAVA_HOME/bin/java" fi else - JAVACMD=java + JAVACMD=`which java` fi fi