From 8196d143f343a11026293521e5dbe0a9731d5050 Mon Sep 17 00:00:00 2001 From: Maksim Denisov Date: Fri, 17 Jan 2025 10:20:14 +0100 Subject: Exclude 'tree_structure' directory from bootstrapping --- bin/bootstrap.py | 2 ++ 1 file changed, 2 insertions(+) (limited to 'bin/bootstrap.py') diff --git a/bin/bootstrap.py b/bin/bootstrap.py index 91700b7d..f0cc30e0 100755 --- a/bin/bootstrap.py +++ b/bin/bootstrap.py @@ -421,6 +421,8 @@ def bootstrap() -> None: dirs.remove('archive') if 'computed_roots' in dirs: dirs.remove('computed_roots') + if 'tree_structure' in dirs: + dirs.remove('tree_structure') for f in files: if f.endswith(".cpp"): cpp_files.append(os.path.join(root, f)) -- cgit v1.2.3