all: add and switch to build-tools v24

[fdroidserver.git] / jenkins-build-makebuildserver

diff --git a/jenkins-build-makebuildserver b/jenkins-build-makebuildserver
index d6f23c76d45fcaf0e4708057f0fb4da2ae66d90f..d32e14423ac642343cfe661f954c0e9ccf1adcb0 100755 (executable)
--- a/jenkins-build-makebuildserver
+++ b/jenkins-build-makebuildserver
@@ -46,7 +46,7 @@ cd $WORKSPACE
 echo "debian_mirror = 'http://ftp.uk.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py
 echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
 echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
-./makebuildserver
+./makebuildserver --verbose
 
 # this can be handled in the jenkins job, or here:
 if [ -e fdroiddata ]; then
@@ -64,10 +64,8 @@ echo "build_server_always = True" > config.py
 ../fdroid build --stop org.adaway:55
 # Maven
 ../fdroid build --stop org.quantumbadger.redreader:55
-# 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)