diff options
| author | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-02-16 15:04:02 +0000 |
|---|---|---|
| committer | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-02-16 15:04:02 +0000 |
| commit | 296138490ec5472d7ef062a56873cb290292551f (patch) | |
| tree | 3b5782ca21f3ffd45e1a6fffb9454b1a7462c3d5 /build | |
| parent | dfb8d084308372da3699239867b6cd5138808f92 (diff) | |
| download | vaadin-framework-296138490ec5472d7ef062a56873cb290292551f.tar.gz vaadin-framework-296138490ec5472d7ef062a56873cb290292551f.zip | |
Reverted bad commit [23048]
svn changeset:23050/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 1f099c6352..1fdcc0ee25 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="2" /> + <property name="widgetset-localWorkers" value="4" /> <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"> |