From 68676da1b7a49ca1b5d330b64aa59865f5ea0b42 Mon Sep 17 00:00:00 2001
From: Artur Signell <artur@vaadin.com>
Date: Wed, 4 Apr 2012 23:01:05 +0300
Subject: [PATCH] Abort widgetset compilation if there are errors

---
 build/build.xml | 1 +
 1 file changed, 1 insertion(+)

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