From: Artur Signell <artur.signell@itmill.com>
Date: Tue, 24 Apr 2012 11:51:20 +0000 (+0000)
Subject: Fail build if Maven deployment fails (#8638)
X-Git-Tag: 7.0.0.alpha3~260^2~2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=fc36ea595e473c00ccb135ece3439d0441561117;p=vaadin-framework.git

Fail build if Maven deployment fails (#8638)

svn changeset:23620/svn branch:6.8
---

diff --git a/build/build.xml b/build/build.xml
index 1fdcc0ee25..a6a75b8918 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -895,7 +895,7 @@
         <property file="${gpg.passphrase.file}" />
 
         <echo>Publishing ${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name} to Maven repository</echo>
-        <artifact:mvn>
+        <artifact:mvn failonerror="true">
             <arg value="gpg:sign-and-deploy-file"/>
             <!-- .. is a workaround as maven runs in the build directory -->
             <sysproperty key="file" value="../${output-dir}/WebContent/WEB-INF/lib/${lib-jar-name}" />