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

d5d3982d · Max Kellermann · 47341107 · d5d3982d
Commit d5d3982d authored May 04, 2021 by Max Kellermann
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletion

project.py python/build/project.py +3 -1

No files found.
--- 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: