diff options
| author | Artur Signell <artur@vaadin.com> | 2012-04-04 23:01:05 +0300 |
|---|---|---|
| committer | Artur Signell <artur@vaadin.com> | 2012-04-05 00:09:48 +0300 |
| commit | 68676da1b7a49ca1b5d330b64aa59865f5ea0b42 (patch) | |
| tree | e36623834faa6a957f966321839d59fc54e171b6 /build/build.xml | |
| parent | 2fe2ec13c6be4ca318a7b74f26b9986ca401f5e2 (diff) | |
| download | vaadin-framework-68676da1b7a49ca1b5d330b64aa59865f5ea0b42.tar.gz vaadin-framework-68676da1b7a49ca1b5d330b64aa59865f5ea0b42.zip | |
Abort widgetset compilation if there are errors
Diffstat (limited to 'build/build.xml')
| -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}" /> |