diff options
Diffstat (limited to 'build')
| -rw-r--r-- | build/build.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build/build.xml b/build/build.xml index 0aa379660d..573c799f7d 100644 --- a/build/build.xml +++ b/build/build.xml @@ -845,7 +845,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}" /> |