diff options
| author | Leif Åstrand <leif@vaadin.com> | 2014-12-31 14:59:08 +0200 |
|---|---|---|
| committer | Vaadin Code Review <review@vaadin.com> | 2015-01-15 14:03:51 +0000 |
| commit | 8289b4ab95850000a3e28e0b66bf20cb5a03f895 (patch) | |
| tree | f04c5730431c85589e38d239f2091990c83ac44d /build/ide.xml | |
| parent | a613f8c4735dff8e01f8a9dad2d4f3c5c4a2ecce (diff) | |
| download | vaadin-framework-8289b4ab95850000a3e28e0b66bf20cb5a03f895.tar.gz vaadin-framework-8289b4ab95850000a3e28e0b66bf20cb5a03f895.zip | |
Tweak ide.xml widgetset compilation speed
* Make usearchives and persistentunitcache configurable
* Add target for clearing unit cache for those that dare use it
* Enable usearchives by default since they are loaded from external jars
Change-Id: I33aaaa826ef05d25c7aadb7a1af93585f63eb6b9
Diffstat (limited to 'build/ide.xml')
| -rwxr-xr-x | build/ide.xml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/build/ide.xml b/build/ide.xml index 7c5267ef30..440a7d9c3b 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -135,6 +135,9 @@ Either "-ea" to enable or "" to disable. --> <property name="assertions" value="-ea" /> <property name="extraParams" value="" /> + + <property name="gwt.usearchives" value="true" /> + <property name="gwt.persistentunitcache" value="false" /> <mkdir dir="${module.output.dir}" /> @@ -166,8 +169,8 @@ <jvmarg value="-Xmx1G" /> <jvmarg value="-XX:MaxPermSize=256M" /> <jvmarg value="-Djava.awt.headless=true" /> - <jvmarg value="-Dgwt.usearchives=false" /> - <jvmarg value="-Dgwt.persistentunitcache=false" /> + <jvmarg value="-Dgwt.usearchives=${gwt.usearchives}" /> + <jvmarg value="-Dgwt.persistentunitcache=${gwt.persistentunitcache}" /> </java> </target> <target name="vaadinPush.js" depends="resolve"> @@ -179,4 +182,8 @@ </fileset> </copy> </target> + + <target name="clean-unitcache"> + <delete dir="WebContent/VAADIN/gwt-unitCache" /> + </target> </project> |