1 files changed, 3 insertions, 0 deletions
diff --git a/tools/genboardscfg.py b/tools/genboardscfg.py
index 1406acd46f..a0df7058b1 100755
--- a/tools/genboardscfg.py
+++ b/tools/genboardscfg.py
@@ -276,6 +276,9 @@ class Slot:
 
     def __del__(self):
         """Delete the working directory"""
+        if not self.occupied:
+            while self.ps.poll() == None:
+                pass
         shutil.rmtree(self.build_dir)
 
     def add(self, defconfig):