diff --git a/src/bin/ant b/src/bin/ant index 6d3c9daf4..6c6fd26f3 100644 --- a/src/bin/ant +++ b/src/bin/ant @@ -45,11 +45,16 @@ if [ "$ANT_HOME" = "" ] ; then fi -# Allow .antrc to specifiy flags to java cmd -if [ "$JAVACMD" = "" ] ; then - JAVACMD=${JAVA_HOME}/bin/java +if [ "$JAVA_HOME" != "" ] ; then + if [ "$JAVACMD" = "" ] ; then + JAVACMD=$JAVA_HOME/bin/java + fi +else + if [ "$JAVACMD" = "" ] ; then + JAVACMD=java + fi fi - + # add in the dependency .jar files DIRLIBS=${ANT_HOME}/lib/*.jar for i in ${DIRLIBS}