diff --git a/build/update.sh b/build/update.sh index fa0e38938bb0..0c00c97d44ed 100755 --- a/build/update.sh +++ b/build/update.sh @@ -35,7 +35,7 @@ echo "Updating $WORK_IDEA_HOME from compiled classes in $DEV_IDEA_HOME" ANT_HOME="$DEV_IDEA_HOME/lib/ant" ANT_CLASSPATH="$DEV_IDEA_HOME/build/lib/gant/lib/jps.jar" -$JAVA_BIN -Xms64m -Xmx512m -Dant.home="$ANT_HOME" -classpath "$ANT_HOME/lib/ant-launcher.jar" org.apache.tools.ant.launch.Launcher \ +"$JAVA_BIN" -Xms64m -Xmx512m -Dant.home="$ANT_HOME" -classpath "$ANT_HOME/lib/ant-launcher.jar" org.apache.tools.ant.launch.Launcher \ -lib "$ANT_CLASSPATH" -f "$DEV_IDEA_HOME/build/update.xml" -Dwork.idea.home="$WORK_IDEA_HOME" $TARGET if [ "$?" != "0" ]; then