From: Artur Signell <artur@vaadin.com>
Date: Wed, 4 Apr 2012 20:01:05 +0000 (+0300)
Subject: Abort widgetset compilation if there are errors
X-Git-Tag: 7.0.0.alpha2~126
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=68676da1b7a49ca1b5d330b64aa59865f5ea0b42;p=vaadin-framework.git

Abort widgetset compilation if there are errors
---

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}" />