From 259ca510012f22012021045fa3246ee1cc524eb1 Mon Sep 17 00:00:00 2001
From: "Felix C. Stegerman" <flx@obfusk.net>
Date: Wed, 10 Mar 2021 09:12:52 +0000
Subject: [PATCH] use vagrantfile instead of 'builder/Vagrantfile' in
 get_clean_builder()

---
 fdroidserver/vmtools.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fdroidserver/vmtools.py b/fdroidserver/vmtools.py
index c231aacc..fcb4f8dd 100644
--- a/fdroidserver/vmtools.py
+++ b/fdroidserver/vmtools.py
@@ -41,7 +41,7 @@ def get_clean_builder(serverdir):
         os.makedirs(serverdir)
     vagrantfile = os.path.join(serverdir, 'Vagrantfile')
     if not os.path.isfile(vagrantfile):
-        with open(os.path.join('builder', 'Vagrantfile'), 'w') as f:
+        with open(vagrantfile, 'w') as f:
             f.write(textwrap.dedent("""\
                 # generated file, do not change.