1
0
mirror of https://gitlab.com/fdroid/fdroidserver.git synced 2024-10-02 09:10:11 +02:00

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.
This commit is contained in:
Hans-Christoph Steiner 2018-09-19 09:06:30 +02:00
parent ee509782a2
commit 39c339e5a1

View File

@ -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