diff options
| author | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-09-27 13:24:59 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume1.gomez@gmail.com> | 2019-09-27 13:24:59 +0200 |
| commit | ecfe92f75e7f9a6727efb13ea1c666e98de7ca90 (patch) | |
| tree | 5e1cdf9fe646b151062843ea5f00a54d131397ad /src/tools | |
| parent | 2e7868389abca4314d3732efd097d6de1cb498a7 (diff) | |
| download | rust-ecfe92f75e7f9a6727efb13ea1c666e98de7ca90.tar.gz rust-ecfe92f75e7f9a6727efb13ea1c666e98de7ca90.zip | |
Don't check error_codes files for lints
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/tidy/src/features.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/tidy/src/features.rs b/src/tools/tidy/src/features.rs index 50e9116c778..309f3c3ecd5 100644 --- a/src/tools/tidy/src/features.rs +++ b/src/tools/tidy/src/features.rs @@ -384,7 +384,7 @@ fn map_lib_features(base_src_path: &Path, let file = entry.path(); let filename = file.file_name().unwrap().to_string_lossy(); if !filename.ends_with(".rs") || filename == "features.rs" || - filename == "diagnostic_list.rs" { + filename == "diagnostic_list.rs" || filename == "error_codes.rs" { return; } |