diff --git a/tools/genboardscfg.py b/tools/genboardscfg.py
index 1406acd46f87efb15837d0e81b43f77e7ab0412c..a0df7058b15b3e8b98e2c65d7df63c969696eff2 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):