diff options
Diffstat (limited to 'build/ide.xml')
| -rwxr-xr-x | build/ide.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/ide.xml b/build/ide.xml index 9b227e0a7d..22e6818bea 100755 --- a/build/ide.xml +++ b/build/ide.xml @@ -130,6 +130,7 @@ <jvmarg value="-XX:MaxPermSize=256M" /> <jvmarg value="-Djava.awt.headless=true" /> <jvmarg value="-Dgwt.usearchives=false" /> + <jvmarg value="-Dgwt.persistentunitcache=false" /> </java> </target> <target name="vaadinPush.js"> |