echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
echo "copy_caches_from_host = True" >> $WORKSPACE/makebuildserver.config.py
-./makebuildserver --verbose --clean
+./makebuildserver -vv --clean
+
+if [ -z "`vagrant box list | egrep '^buildserver\s+\((libvirt|virtualbox), [0-9]+\)$'`" ]; then
+ vagrant box list
+ echo "ERROR: buildserver box does not exist!"
+ exit 1
+fi
# this can be handled in the jenkins job, or here:
if [ -e fdroiddata ]; then
git remote update -p
git checkout master
git reset --hard origin/master
+ git clean -fdx
cd ..
else
git clone --depth 1 https://gitlab.com/fdroid/fdroiddata.git fdroiddata
. ~/.android/bashrc
else
echo "ANDROID_HOME must be set!"
- exit
+ exit 1
fi
fi
../fdroid build --verbose --stop --latest org.fdroid.fdroid
# Gradle, JNI, preassemble
../fdroid build --verbose --stop org.adaway:55
-# Uses verification
-../fdroid build --verbose --stop info.guardianproject.checkey:101
# building old versions should still work
../fdroid build --verbose --stop org.fdroid.fdroid:96150
# test OTA update ZIP build and publish
-../fdroid build --verbose --stop org.fdroid.fdroid.privileged.ota:2030
+../fdroid build --verbose --stop org.fdroid.fdroid.privileged.ota:2070
# publish process when building and signing are on separate machines
test -d repo || mkdir repo
test -d archive || mkdir archive
+# copy everything over to run on SIGN machine
../fdroid publish --verbose
../fdroid gpgsign --verbose
+# copy everything over to run on BUILD machine
../fdroid update --verbose --nosign
+# copy everything over to run on SIGN machine
../fdroid signindex --verbose
../fdroid rewritemeta --verbose