Reduce number of local workers to avoid synchronization problems

diff --git a/build/build.xml b/build/build.xml
index 7771100c6b933f05f0674c3ec92b725f52901da4..b0cdea39e524b5cd8c3fa259a58fa5ab9e042d56 100644 (file)
--- 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}"/>