From c40bba3cbd437b320fd0caac16f73834ed4408fc Mon Sep 17 00:00:00 2001
From: Thomas Waldmann <tw@waldmann-edv.de>
Date: Wed, 27 Nov 2019 01:36:05 +0100
Subject: [PATCH] vagrant: upgrade pyinstaller to v3.5 + patch

the patch is needed so it works with recent virtualenv.
---
 Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Vagrantfile b/Vagrantfile
index 9ff120a56..abf1db7df 100644
--- a/Vagrantfile
+++ b/Vagrantfile
@@ -198,7 +198,7 @@ def install_pyinstaller()
     . borg-env/bin/activate
     git clone https://github.com/thomaswaldmann/pyinstaller.git
     cd pyinstaller
-    git checkout v3.3.1
+    git checkout v3.5-maint
     python setup.py install
   EOF
 end