diff options
| author | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-03-13 09:18:53 +0000 |
|---|---|---|
| committer | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-03-13 09:18:53 +0000 |
| commit | 59826767eb12add61e1c976be1c80fd5bff26baf (patch) | |
| tree | 79e47d573ba7745f43712af674e7baac11d87522 /build | |
| parent | 3201228f110968ef54ca15822285c808f03512e2 (diff) | |
| download | vaadin-framework-59826767eb12add61e1c976be1c80fd5bff26baf.tar.gz vaadin-framework-59826767eb12add61e1c976be1c80fd5bff26baf.zip | |
[merge from 6.7] fixes #8505
svn changeset:23227/svn branch:6.8
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 1fdcc0ee25..aee3dc7bed 100644 --- a/build/build.xml +++ b/build/build.xml @@ -542,7 +542,7 @@ <target name="compile-widgetset" description="Compiles the widgetset given as the first parameter"> <fail unless="widgetset" message="No widgetset parameter set"/> <property name="widgetset-style" value="OBF" /> - <property name="widgetset-localWorkers" value="4" /> + <property name="widgetset-localWorkers" value="1" /> <property name="widgetset-extraParams" value="" /> <echo>Compiling widgetset ${widgetset}. Output directory: ${widgetsets-output-dir}</echo> <java classname="com.google.gwt.dev.Compiler" failonerror="yes" fork="yes" maxmemory="512m"> |