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: switch to box name as generated by basebox project

Browse source
This commit is contained in:
Hans-Christoph Steiner 2018-09-19 23:41:15 +02:00
parent 39c339e5a1
commit d2f850e2df
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
jenkins-setup-build-environment
View file

@ -50,17 +50,23 @@ virsh -c qemu:///system undefine buildserver_default \
--nvram --managed-save --remove-all-storage --snapshots-metadata || true --nvram --managed-save --remove-all-storage --snapshots-metadata || true
virsh -c qemu:///system undefine builder_default \ virsh -c qemu:///system undefine builder_default \
--nvram --managed-save --remove-all-storage --snapshots-metadata || true --nvram --managed-save --remove-all-storage --snapshots-metadata || true
virsh -c qemu:///system undefine basebox-stretch64 \
--nvram --managed-save --remove-all-storage --snapshots-metadata || true
virsh -c qemu:///system vol-delete --pool default \ virsh -c qemu:///system vol-delete --pool default \
/var/lib/libvirt/images/buildserver_vagrant_box_image_0.img || true /var/lib/libvirt/images/buildserver_vagrant_box_image_0.img || true
virsh -c qemu:///system vol-delete --pool default \
/var/lib/libvirt/images/basebox-stretch64_vagrant_box_image_0.img || true
virsh -c qemu:///system vol-delete --pool default \ virsh -c qemu:///system vol-delete --pool default \
/var/lib/libvirt/images/jessie64_vagrant_box_image_0.img || true /var/lib/libvirt/images/jessie64_vagrant_box_image_0.img || true
rm -rf "$WORKSPACE"/../*/.testfiles rm -rf "$WORKSPACE"/../*/.testfiles
vagrant box add --force fdroid-stretch64 ~/.cache/fdroidserver/fdroid-stretch64-libvirt.box vagrant box add --force basebox-stretch64 ~/.cache/fdroidserver/basebox-stretch64-libvirt.box
cd $WORKSPACE cd $WORKSPACE
echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py
echo 'basebox = "fdroid-stretch64"' >> $WORKSPACE/makebuildserver.config.py echo 'basebox = "basebox-stretch64"' >> $WORKSPACE/makebuildserver.config.py
echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py echo "boot_timeout = 1200" >> $WORKSPACE/makebuildserver.config.py
echo "apt_package_cache = True" >> $WORKSPACE/makebuildserver.config.py 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