diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/build/build.xml b/build/build.xml index f66333432e..ff98813857 100644 --- a/build/build.xml +++ b/build/build.xml @@ -664,7 +664,7 @@ <target name="compile-widgetset" description="Compiles the widgetset given as the first parameter"> <fail unless="widgetset" message="No widgetset parameter set"/> <echo>Compiling widgetset ${widgetset}. Output directory: ${widgetsets-output-dir}</echo> - <java classname="com.google.gwt.dev.Compiler" failonerror="yes" fork="yes" maxmemory="512m"> + <java classname="com.google.gwt.dev.Compiler" failonerror="yes" fork="yes" maxmemory="128m"> <classpath refid="widgetset-compile-classpath"/> <arg value="-war" /> @@ -672,9 +672,8 @@ <arg value="-style" /> <arg value="OBF" /> <arg value="${widgetset}" /> - - <jvmarg value="-Xss8M"/> - <jvmarg value="-XX:MaxPermSize=256M"/> + + <jvmarg value="-Xss8M"/> <jvmarg value="-Djava.awt.headless=true"/> </java> <antcall target="remove-widgetset-gwt-tmp"/> |