Ensure makebuildserver provisions on an update

diff --git a/makebuildserver b/makebuildserver
index 1895c42144bb8487072ed4602a683fef6f8a09f9..839fc3cba21b7b74ebc8ea3dd80e459c3d867362 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -245,7 +245,7 @@ if writevf:
 
 
 print "Configuring build server VM"
-returncode, out = vagrant(['up'], serverdir, printout=True)
+returncode, out = vagrant(['up', '--provision'], serverdir, printout=True)
 with open(os.path.join(serverdir, 'up.log'), 'w') as log:
     log.write(out)
 if returncode != 0: