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

allow using remote boxes from vagrant cloud

Browse source
This commit is contained in:
Michael Pöhn 2018-09-13 11:08:51 +02:00
parent 98806d7c01
commit 6d0797eb5e
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
makebuildserver
View file

@ -540,7 +540,7 @@ def main():
sys.exit(1)
# Check if selected basebox is available
available_boxes_by_provider = [x.name for x in v.box_list() if x.provider == config['vm_provider']]
if config['basebox'] not in available_boxes_by_provider:
if '/' not in config['basebox'] and config['basebox'] not in available_boxes_by_provider:
logger.critical("Vagrant box '{basebox}' not available "
"for '{vm_provider}' VM provider. "
"Please make sure it's added to vagrant. "