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

makebuildserver debugging log details

Browse source
This commit is contained in:
Michael Pöhn 2017-03-24 20:04:50 +01:00 • committed by Hans-Christoph Steiner
parent 2aa5523011
commit 440509cf8a
2 changed files with 96 additions and 44 deletions
Download patch file Download diff file Expand all files Collapse all files

2
jenkins-build-makebuildserver
View file

@ -52,7 +52,7 @@ echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildse
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