diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/build.xml b/build/build.xml index 87f4c6e939..21a7b823e1 100644 --- a/build/build.xml +++ b/build/build.xml @@ -494,6 +494,7 @@ <arg value="${widgetsets-output-dir}" /> <arg value="-style" /> <arg value="${widgetset-style}" /> + <arg value="-strict" /> <arg value="-localWorkers" /> <arg value="${widgetset-localWorkers}" /> <arg line="${widgetset-extraParams}" /> |