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

Revert "Merge branch 'random-fixes' into 'master'"

Browse source 
This reverts merge request !605
This commit is contained in:
Marcus 2019-01-10 13:46:49 +00:00
parent 357dea762d
commit f6f2fb0b89
6 changed files with 8 additions and 51 deletions
Download patch file Download diff file Expand all files Collapse all files

8
buildserver/Vagrantfile vendored
View file

@ -43,12 +43,8 @@ Vagrant.configure("2") do |config|
libvirt.nic_model_type = configfile["libvirt_nic_model_type"]
end
end
if configfile.has_key? "synced_folder_type"
synced_folder_type = configfile["synced_folder_type"]
else
synced_folder_type = '9p'
end
config.vm.synced_folder './', '/vagrant', type: synced_folder_type
config.vm.synced_folder './', '/vagrant', type: '9p'
synced_folder_type = '9p'
else
abort("No supported VM Provider found, set vm_provider in Vagrantfile.yaml!")
end