diff --git a/makebuildserver b/makebuildserver index fe7a0de9..4a49ce6c 100755 --- a/makebuildserver +++ b/makebuildserver @@ -409,6 +409,9 @@ def main(): boxfile) os.remove(boxfile) + # This was needed just to create the box, after that, it is unused. + vm.destroy() + if __name__ == '__main__':