1 files changed, 2 insertions, 0 deletions
diff --git a/bin/bootstrap.py b/bin/bootstrap.py
index 6f7dc9b0..91700b7d 100755
--- a/bin/bootstrap.py
+++ b/bin/bootstrap.py
@@ -419,6 +419,8 @@ def bootstrap() -> None:
             dirs.remove('other_tools')
         if 'archive' in dirs:
             dirs.remove('archive')
+        if 'computed_roots' in dirs:
+            dirs.remove('computed_roots')
         for f in files:
             if f.endswith(".cpp"):
                 cpp_files.append(os.path.join(root, f))