#8050 Enable custom parameters to widgetset compiler

svn changeset:22228/svn branch:6.7

diff --git a/build/build.xml b/build/build.xml
index a038edb139fadf26259843de2c89356190807614..046392fe57afb84ca87b0ee715ca931a1816957d 100644 (file)
--- 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"/>