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 d6f23c76d45fcaf0e4708057f0fb4da2ae66d90f..efc85f9c21c0c5c4a494530006721ce709fd821f 100755 (executable)
--- 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)