From c153362a0602d4b842c07dcf000f4ac0795aaf9c Mon Sep 17 00:00:00 2001 From: Emiliano Vavassori Date: Sun, 20 Mar 2022 04:25:16 +0100 Subject: [PATCH] Implementata pulizia builddir. --- build.py | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/build.py b/build.py index 7ae68eb..1dda163 100644 --- a/build.py +++ b/build.py @@ -164,7 +164,8 @@ class Build(object): def __del__(self): """Destructor""" - del self.__builddir__ + # Cleaning up build directory + shutil.rmtree(self.__builddir__) if __name__ == '__main__':