diff options
| author | Leif Åstrand <leif@vaadin.com> | 2011-12-05 12:12:11 +0000 |
|---|---|---|
| committer | Leif Åstrand <leif@vaadin.com> | 2011-12-05 12:12:11 +0000 |
| commit | 8343130d2baf9b047305d60c5ee4a551ee81946d (patch) | |
| tree | ee3cf86697b711f3738a140b1a3f93f25b7c05f1 /build | |
| parent | 53e0e8ace455ebe07fc3c932c16d114dd7013e44 (diff) | |
| download | vaadin-framework-8343130d2baf9b047305d60c5ee4a551ee81946d.tar.gz vaadin-framework-8343130d2baf9b047305d60c5ee4a551ee81946d.zip | |
#8050 Enable custom parameters to widgetset compiler
svn changeset:22228/svn branch:6.7
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/build/build.xml b/build/build.xml index a038edb139..046392fe57 100644 --- a/build/build.xml +++ b/build/build.xml @@ -502,6 +502,9 @@ <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-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"> <classpath refid="widgetset-compile-classpath"/> @@ -509,9 +512,10 @@ <arg value="-war" /> <arg value="${widgetsets-output-dir}" /> <arg value="-style" /> - <arg value="OBF" /> + <arg value="${widgetset-style}" /> <arg value="-localWorkers" /> - <arg value="4" /> + <arg value="${widgetset-localWorkers}" /> + <arg line="${widgetset-extraParams}" /> <arg value="${widgetset}" /> <jvmarg value="-Xss8M"/> |