diff --git a/src/script/ant b/src/script/ant index bcc63c85a..2e6083924 100644 --- a/src/script/ant +++ b/src/script/ant @@ -108,7 +108,7 @@ if [ -z "$ANT_HOME" -o ! -d "$ANT_HOME" ] ; then ANT_HOME=`dirname "$PRG"`/.. # make it fully qualified - ANT_HOME=`cd "$ANT_HOME" && pwd` + ANT_HOME=`cd "$ANT_HOME" > /dev/null && pwd` fi # For Cygwin, ensure paths are in UNIX format before anything is touched