delete .vagrant dir when cleaning up buildserver vm

[fdroidserver.git] / makebuildserver

diff --git a/makebuildserver b/makebuildserver
index 2fc75d8232790038cdf81a0c7d1835bdf182b6a0..c4e5e02e0b5d0725f7ae35c2b4e46346b8a53756 100755 (executable)
--- a/makebuildserver
+++ b/makebuildserver
@@ -304,6 +304,12 @@ def destroy_current_image(v, serverdir):
         v.destroy()
     elif options.verbose:
         print('Cannot run destroy vagrant setup since Vagrantfile.yaml is not setup!')
+
+    try:
+        shutil.rmtree(os.path.join(serverdir, '.vagrant'))
+    except Exception as e:
+        print("could not delete vagrant dir: %s, %s" % (os.path.join(serverdir, '.vagrant'), e))
+
     if config['vm_provider'] == 'libvirt':
         import libvirt
         try: