added better log message

2020-04-16 10:12:57 +02:00 · 2020-04-16 10:12:57 +02:00 · b2c68fa9be
commit b2c68fa9be
parent eaa931da8c
1 changed files with 2 additions and 1 deletions
--- a/scripts/run_cmake.py
+++ b/scripts/run_cmake.py
@ -157,7 +157,8 @@ def secure_delete(path: str):
        try:
            shutil.rmtree(path)
        except PermissionError:
-            pass
+            if error_limit <= 0:
+                raise
        time.sleep(3)
    raise IOError('Could not delete build folder after several tries: {}'.format(path))