Make permission parsing more specific

[fdroidserver.git] / jenkins-build-makebuildserver

diff --git a/jenkins-build-makebuildserver b/jenkins-build-makebuildserver
index efc85f9c21c0c5c4a494530006721ce709fd821f..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,8 +64,6 @@ 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 com.amaze.filemanager:29
 # Uses verification