mirrors/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2025-11-04 22:40:29 +03:00
Code Issues Projects Releases Packages Wiki Activity Actions

makebuildserver: verify stretch basebox

Browse source
This commit is contained in:
Michael Pöhn 2018-09-25 15:47:33 +02:00
parent 2a9bc448ee
commit 493a767d14
3 changed files with 118 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buildserver/Vagrantfile vendored
View file

@ -16,7 +16,9 @@ Vagrant.configure("2") do |config|
end
config.vm.box = configfile['basebox']
config.vm.box_url = configfile['baseboxurl']
if configfile.has_key? "basebox_version"
config.vm.box_version = configfile['basebox_version']
end
if not configfile.has_key? "vm_provider" or configfile["vm_provider"] == "virtualbox"
# default to VirtualBox if not set