diff options
| -rw-r--r-- | src/tools/tidy/src/walk.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/tidy/src/walk.rs b/src/tools/tidy/src/walk.rs index 6dca55dfa9f..b07e80767fa 100644 --- a/src/tools/tidy/src/walk.rs +++ b/src/tools/tidy/src/walk.rs @@ -23,6 +23,7 @@ pub fn filter_dirs(path: &Path) -> bool { "src/doc/book", // Filter RLS output directories "target/rls", + "src/bootstrap/target", ]; skip.iter().any(|p| path.ends_with(p)) } |