From 9dff760d07a1b2ef06de0a9dedaf0aedf6e48501 Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Wed, 17 Oct 2018 17:02:21 +0200 Subject: [PATCH] jenkins: switch to using auto-downloaded and verified basebox --- jenkins-setup-build-environment | 3 --- 1 file changed, 3 deletions(-) diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment index 390f22d5..33312458 100755 --- a/jenkins-setup-build-environment +++ b/jenkins-setup-build-environment @@ -67,11 +67,8 @@ virsh -c qemu:///system vol-delete --pool default \ rm -rf "$WORKSPACE"/../*/.testfiles -vagrant box add --force basebox-stretch64 ~/.cache/fdroidserver/basebox-stretch64-libvirt.box - cd $WORKSPACE echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py -echo 'basebox = "basebox-stretch64"' >> $WORKSPACE/makebuildserver.config.py 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