diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2016-07-04 00:16:53 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2016-07-11 23:24:49 +0200 |
| commit | 8dc79ecd13785c42464be7ad792c5a9fcd8ae1f4 (patch) | |
| tree | 6e4e4180bb5e1828e89f377ccdc31ebb0d198af0 | |
| parent | ed2bf577280e2dd4a7a18c1048d9408b30051cd6 (diff) | |
| download | rust-8dc79ecd13785c42464be7ad792c5a9fcd8ae1f4.tar.gz rust-8dc79ecd13785c42464be7ad792c5a9fcd8ae1f4.zip | |
Update make tidy
| -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 } |