From 8dc79ecd13785c42464be7ad792c5a9fcd8ae1f4 Mon Sep 17 00:00:00 2001 From: Guillaume Gomez Date: Mon, 4 Jul 2016 00:16:53 +0200 Subject: [PATCH] Update make tidy --- src/tools/tidy/src/errors.rs | 2 +- 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 }