From ab7d432e72a6c97b7ad9dcfe45b530cd626e4b58 Mon Sep 17 00:00:00 2001 From: Klaus Aehlig Date: Mon, 7 Apr 2025 17:15:17 +0200 Subject: bootstrap.py: ignore tree operations --- bin/bootstrap.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/bin/bootstrap.py b/bin/bootstrap.py index f0cc30e0..6f7233a9 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -423,6 +423,8 @@ def bootstrap() -> None: dirs.remove('computed_roots') if 'tree_structure' in dirs: dirs.remove('tree_structure') + if 'tree_operations' in dirs: + dirs.remove('tree_operations') for f in files: if f.endswith(".cpp"): cpp_files.append(os.path.join(root, f)) -- cgit v1.2.3