From e6b2134d2e98752468876dbfe24e1ac0e2b44dff Mon Sep 17 00:00:00 2001
From: Hans-Christoph Steiner <hans@eds.org>
Date: Tue, 14 Jan 2020 22:51:19 +0100
Subject: [PATCH] makebuildserver: ensure vagrant share block symlinks to the
 host

* https://phoenhex.re/2018-03-25/not-a-vagrant-bug
* https://github.com/hashicorp/vagrant/pull/10792/files
---
 makebuildserver | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/makebuildserver b/makebuildserver
index 9bf09d40..694173b9 100755
--- a/makebuildserver
+++ b/makebuildserver
@@ -531,6 +531,10 @@ def main():
         open(logfilename, 'a').close()  # create blank file
     log_cm = vagrant.make_file_cm(logfilename)
     v = vagrant.Vagrant(root=serverdir, out_cm=log_cm, err_cm=log_cm)
+    # https://phoenhex.re/2018-03-25/not-a-vagrant-bug
+    os_env = os.environ.copy()
+    os_env['VAGRANT_DISABLE_VBOXSYMLINKCREATE'] = '1'
+    v.env = os_env
 
     if options.verbosity >= 2:
         tail = fdroidserver.tail.Tail(logfilename)