diff options
| -rw-r--r-- | src/tools/tidy/src/errors.rs | 2 | ||||
| -rw-r--r-- | src/tools/tidy/src/features.rs | 3 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/tools/tidy/src/errors.rs b/src/tools/tidy/src/errors.rs index 41869288cc9..3a70e54ff97 100644 --- a/src/tools/tidy/src/errors.rs +++ b/src/tools/tidy/src/errors.rs @@ -25,7 +25,7 @@ pub fn check(path: &Path, bad: &mut bool) { &mut |path| super::filter_dirs(path) || path.ends_with("src/test"), &mut |file| { let filename = file.file_name().unwrap().to_string_lossy(); - if filename != "diagnostics.rs" { + if filename != "diagnostics.rs" && filename != "diagnostic_list.rs" { return } diff --git a/src/tools/tidy/src/features.rs b/src/tools/tidy/src/features.rs index 0b989d92b3d..199e8a77df7 100644 --- a/src/tools/tidy/src/features.rs +++ b/src/tools/tidy/src/features.rs @@ -46,7 +46,8 @@ pub fn check(path: &Path, bad: &mut bool) { &mut |path| super::filter_dirs(path) || path.ends_with("src/test"), &mut |file| { let filename = file.file_name().unwrap().to_string_lossy(); - if !filename.ends_with(".rs") || filename == "features.rs" { + if !filename.ends_with(".rs") || filename == "features.rs" || + filename == "diagnostic_list.rs" { return } |