diff options
author | Artur Signell <artur.signell@itmill.com> | 2010-09-03 05:20:41 +0000 |
---|---|---|
committer | Artur Signell <artur.signell@itmill.com> | 2010-09-03 05:20:41 +0000 |
commit | df0ac18674da3b197150a2b86713e7c4a26cde9f (patch) | |
tree | 2574619e3b8b668853e1ddbc502da49f41b4f7f7 /build | |
parent | 88306c0c5bc219352126342ead61c7591dd9f8ab (diff) | |
download | vaadin-framework-df0ac18674da3b197150a2b86713e7c4a26cde9f.tar.gz vaadin-framework-df0ac18674da3b197150a2b86713e7c4a26cde9f.zip |
Relaxed memory settings for widgetset compilation. Seems that GWT has been fixed now and uses a lot less memory.
svn changeset:14702/svn branch:6.4
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"/> |