diff options
author | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-03-13 09:42:58 +0000 |
---|---|---|
committer | Johannes Dahlström <johannes.dahlstrom@vaadin.com> | 2012-03-13 09:42:58 +0000 |
commit | 0681a2f396e69cd60238d0e77a2d857af5865252 (patch) | |
tree | 24ea16ff5ed758dab42d2b0c9c95d7b3aee0605f /build | |
parent | c62c3da5b633a8b4d1f5030abeec564572b041e9 (diff) | |
download | vaadin-framework-0681a2f396e69cd60238d0e77a2d857af5865252.tar.gz vaadin-framework-0681a2f396e69cd60238d0e77a2d857af5865252.zip |
Reverted accidental commit
svn changeset:23229/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 aee3dc7bed..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="1" /> + <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"> |