mirror/fdroidserver
1
0
Fork 0
mirror of https://github.com/f-droid/fdroidserver.git synced 2026-05-14 19:04:52 -04:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'robust-vagrant' into 'master'

Browse Source 
Make buildserver build more robust and debuggable

See merge request fdroid/fdroidserver!811
This commit is contained in:
Hans-Christoph Steiner
2022-11-16 11:50:04 +00:00
parent df579b2ff6 a15fc28982
commit e1793226e0
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

@@ -337,7 +337,7 @@ def main():
v.up(provision=True)
except subprocess.CalledProcessError:
debug_log_vagrant_vm(serverdir, config)
logging.error("'vagrant up' failed.")
logging.error("'vagrant up' failed. Consult %s", logfilename)
sys.exit(1)
if options.copy_caches_from_host: