build/python/build/project.py: add "lazy" parameter to make_build_path()

2021-05-04 14:57:46 +02:00 · 2021-05-04 14:57:46 +02:00 · 0360f79e6f
commit 0360f79e6f
parent 6d8f92c185
1 changed files with 3 additions and 1 deletions
--- a/python/build/project.py
+++ b/python/build/project.py
@ -72,8 +72,10 @@ class Project:

        return path

-    def make_build_path(self, toolchain):
+    def make_build_path(self, toolchain, lazy=False):
        path = os.path.join(toolchain.build_path, self.base)
+        if lazy and os.path.isdir(path):
+            return path
        try:
            shutil.rmtree(path)
        except FileNotFoundError: