diff options
| -rwxr-xr-x | tools/genboardscfg.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tools/genboardscfg.py b/tools/genboardscfg.py index 1406acd..a0df705 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): |