From b5cc35c44f4bfdabd13684b49626bd40fd758203 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Tue, 15 Mar 2016 13:47:56 +0100 Subject: [PATCH] jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar org.xcsoar hosts its own git repo. Self-hosted git repos can be flaky, and they are blocked by the Guardian Project jenkins server, so use an app from github.com instead. --- jenkins-build-makebuildserver | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jenkins-build-makebuildserver b/jenkins-build-makebuildserver index d6f23c76..efc85f9c 100755 --- a/jenkins-build-makebuildserver +++ b/jenkins-build-makebuildserver @@ -67,7 +67,7 @@ echo "build_server_always = True" > config.py # Ant, submodules and custom prebuild/build ../fdroid build --stop app.openconnect:959 # Custom build (make) -../fdroid build --stop org.xcsoar:101 +../fdroid build --stop com.amaze.filemanager:29 # Uses verification ../fdroid build --stop info.guardianproject.checkey:101 # Gradle with retrolambda (JDK7 and JDK8) -- 2.30.2