From ebc8ffa7d02bed5b01cead2bc9f70b6d592b3b68 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Tue, 15 Mar 2016 13:37:06 +0100 Subject: [PATCH] jenkins-build-makebuildserver: throw error if app build fails --- jenkins-build-makebuildserver | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/jenkins-build-makebuildserver b/jenkins-build-makebuildserver index 36df83af..d6f23c76 100755 --- a/jenkins-build-makebuildserver +++ b/jenkins-build-makebuildserver @@ -61,14 +61,14 @@ fi cd fdroiddata echo "build_server_always = True" > config.py # Gradle, JNI, preassemble -../fdroid build org.adaway:55 +../fdroid build --stop org.adaway:55 # Maven -../fdroid build org.quantumbadger.redreader:55 +../fdroid build --stop org.quantumbadger.redreader:55 # Ant, submodules and custom prebuild/build -../fdroid build app.openconnect:959 +../fdroid build --stop app.openconnect:959 # Custom build (make) -../fdroid build org.xcsoar:101 +../fdroid build --stop org.xcsoar:101 # Uses verification -../fdroid build info.guardianproject.checkey:101 +../fdroid build --stop info.guardianproject.checkey:101 # Gradle with retrolambda (JDK7 and JDK8) -../fdroid build com.moez.QKSMS:124 +../fdroid build --stop com.moez.QKSMS:124 -- 2.30.2