diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2019-10-03 04:08:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-03 04:08:18 +0200 |
| commit | 4ea2be751cdabe969058c9bb27fdb0288d57a244 (patch) | |
| tree | 7c050e9d4f5573d3a75d0b23db312c6ff203e6f3 /src/tools | |
| parent | f188879a93e51679719a42bcecf8c500604ff745 (diff) | |
| parent | 03455e47d818a1f8f65efb7c5af38276dc78a2a0 (diff) | |
| download | rust-4ea2be751cdabe969058c9bb27fdb0288d57a244.tar.gz rust-4ea2be751cdabe969058c9bb27fdb0288d57a244.zip | |
Rollup merge of #64998 - spastorino:filter-rls-on-tidy, r=petrochenkov
Filter out RLS output directories on tidy runs Closes #64957 r? @petrochenkov
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tidy/src/lib.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/tools/tidy/src/lib.rs b/src/tools/tidy/src/lib.rs index e01184e3658..337f9c4d6db 100644 --- a/src/tools/tidy/src/lib.rs +++ b/src/tools/tidy/src/lib.rs @@ -53,6 +53,9 @@ fn filter_dirs(path: &Path) -> bool { "src/tools/rls", "src/tools/rust-installer", "src/tools/rustfmt", + + // Filter RLS output directories + "target/rls", ]; skip.iter().any(|p| path.ends_with(p)) } |