From 39c339e5a19dfdfa2df21439251c887c89e85dbf Mon Sep 17 00:00:00 2001 From: Hans-Christoph Steiner Date: Wed, 19 Sep 2018 09:06:30 +0200 Subject: [PATCH] jenkins: force local basebox, do not download from Vagrant Cloud Until we have a verification process for boxes downloaded from Vagrant Cloud, the official setup uses a locally generated basebox. --- jenkins-setup-build-environment | 1 + 1 file changed, 1 insertion(+) diff --git a/jenkins-setup-build-environment b/jenkins-setup-build-environment index 906f0aff..0cfe3505 100755 --- a/jenkins-setup-build-environment +++ b/jenkins-setup-build-environment @@ -60,6 +60,7 @@ vagrant box add --force fdroid-stretch64 ~/.cache/fdroidserver/fdroid-stretch64- cd $WORKSPACE echo "debian_mirror = 'https://deb.debian.org/debian/'" > $WORKSPACE/makebuildserver.config.py +echo 'basebox = "fdroid-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