diff --git a/build.sh b/build.sh index 1e7c4663e..2b1bc03a5 100755 --- a/build.sh +++ b/build.sh @@ -57,5 +57,5 @@ if [ "$REALANTHOME" != "" ] ; then ANT_INSTALL="-Dant.install=$REALANTHOME" fi -bootstrap/bin/ant -emacs $ANT_INSTALL $* +bootstrap/bin/ant -emacs "$ANT_INSTALL" $*