diff options
| author | Leif Åstrand <leif@vaadin.com> | 2012-05-30 10:29:08 +0300 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2012-05-30 10:29:08 +0300 |
| commit | 2b03c7b53cca18e4aaebd2832b9a6cd4b8699076 (patch) | |
| tree | a27c467b4bb26990ea58eba995004a2fb40c3f04 /build | |
| parent | 1ee17867e98f1fda0b205ae06820ebb0182c9415 (diff) | |
| download | vaadin-framework-2b03c7b53cca18e4aaebd2832b9a6cd4b8699076.tar.gz vaadin-framework-2b03c7b53cca18e4aaebd2832b9a6cd4b8699076.zip | |
Reduce number of local workers to avoid synchronization problems
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 7771100c6b..b0cdea39e5 100644 --- a/build/build.xml +++ b/build/build.xml @@ -499,7 +499,7 @@ <target name="compile-widgetset" depends="init-deps"> <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="2" /> <property name="widgetset-extraParams" value="" /> <echo>Compiling widgetset ${widgetset}. Output directory: ${widgetsets-output-dir}</echo> <mkdir dir="${widgetsets-output-dir}"/> |