mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-09-13 22:42:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

jenkins makebuildserver fail if vagrant box was not created

Browse source
This commit is contained in:
Michael Pöhn 2017-03-24 00:49:02 +01:00 • committed by Hans-Christoph Steiner
parent 2993674aa8
commit 437ff7c3f0
1 changed files with 7 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

8
jenkins-build-makebuildserver
View file

@ -54,6 +54,12 @@ echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py
echo "copy_caches_from_host = True" >> $WORKSPACE/makebuildserver.config.py echo "copy_caches_from_host = True" >> $WORKSPACE/makebuildserver.config.py
./makebuildserver --verbose --clean ./makebuildserver --verbose --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: # this can be handled in the jenkins job, or here:
if [ -e fdroiddata ]; then if [ -e fdroiddata ]; then
cd fdroiddata cd fdroiddata
@ -73,7 +79,7 @@ if [ -z $ANDROID_HOME ]; then
. ~/.android/bashrc . ~/.android/bashrc
else else
echo "ANDROID_HOME must be set!" echo "ANDROID_HOME must be set!"
exit exit 1
fi fi
fi fi