From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 15 Mar 2016 12:47:56 +0000 (+0100)
Subject: jenkins-build-makebuildserver: com.amaze.filemanager instead of org.xcsoar
X-Git-Tag: 0.7.0~79^2~1
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=b5cc35c44f4bfdabd13684b49626bd40fd758203;p=fdroidserver.git

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.
---

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)