export VAGRANT_HOME=$WORKSPACE/vagrant.d
mkdir $VAGRANT_HOME
+# delete leftovers from previous run
+virsh -c qemu:///system undefine buildserver_default \
+ --nvram --managed-save --remove-all-storage --snapshots-metadata || true
+virsh -c qemu:///system undefine builder_default \
+ --nvram --managed-save --remove-all-storage --snapshots-metadata || true
+virsh -c qemu:///system vol-delete --pool default \
+ /var/lib/libvirt/images/buildserver_vagrant_box_image_0.img || true
+virsh -c qemu:///system vol-delete --pool default \
+ /var/lib/libvirt/images/jessie64_vagrant_box_image_0.img || true
+rm -rf "$WORKSPACE"/../*/.testfiles
+
cd $WORKSPACE
echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py
echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
# this can be handled in the jenkins job, or here:
if [ -e fdroiddata ]; then
cd fdroiddata
- while ! git fetch; do sleep 1; done
+ while ! git fetch origin --tags --prune; do sleep 10; done
git remote update -p
git checkout master
git reset --hard origin/master
fi
cd fdroiddata
+echo "build_server_always = True" > config.py
if [ -z $ANDROID_HOME ]; then
if [ -e ~/.android/bashrc ]; then