]> source.dussan.org Git - vaadin-framework.git/commitdiff
Abort widgetset compilation if there are errors
authorArtur Signell <artur@vaadin.com>
Wed, 4 Apr 2012 20:01:05 +0000 (23:01 +0300)
committerArtur Signell <artur@vaadin.com>
Wed, 4 Apr 2012 21:09:48 +0000 (00:09 +0300)
build/build.xml

index 87f4c6e93900baf77a649cc5af4f21030b062acf..21a7b823e1fdc728652d36af6bca4ca67d69b504 100644 (file)
             <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}" />