diff options
Diffstat (limited to 'src/script')
| -rw-r--r-- | src/script/ant | 2 |
1 files changed, 1 insertions, 1 deletions
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 |