Update make tidy

This commit is contained in:
Guillaume Gomez 2016-07-04 00:16:53 +02:00
parent ed2bf57728
commit 8dc79ecd13
2 changed files with 3 additions and 2 deletions

View File

@ -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
}

View File

@ -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
}