Update make tidy

diff --git a/src/tools/tidy/src/errors.rs b/src/tools/tidy/src/errors.rs
index 41869288cc91c70edcf8a407d8702b3d1862863c..3a70e54ff9745d457b24f0f320eee2fbec43e74d 100644 (file)
--- 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 0b989d92b3d1d0df4cdb104efda8186671f7c44a..199e8a77df71797b7eed2b5d7107e634f6a1a6dc 100644 (file)
--- 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
         }