separate handling of single files

2020-04-16 13:52:08 +02:00 · 2020-04-16 13:52:08 +02:00 · 620945da3c
commit 620945da3c
parent c92c93458c
1 changed files with 5 additions and 3 deletions
--- a/scripts/run_cmake.py
+++ b/scripts/run_cmake.py
@ -161,8 +161,10 @@ def secure_delete(path: str):
            for name in files:
                p = Path(os.path.join(root, name))
                p.chmod(stat.S_IWRITE)
-        
+        if os.path.isdir(name):
            shutil.rmtree(name)
+        else:
+            os.unlink(name)

    shutil.rmtree(path, onerror=del_rw)