diff --git a/src/tools/tidy/src/style.rs b/src/tools/tidy/src/style.rs index ca79c835b9fa1..c197acd4828a1 100644 --- a/src/tools/tidy/src/style.rs +++ b/src/tools/tidy/src/style.rs @@ -395,6 +395,9 @@ pub fn check(path: &Path, bad: &mut bool) { ); }; suppressible_tidy_err!(err, skip_file_length, ""); + } else if lines > (LINES * 7) / 10 { + // Just set it to something that doesn't trigger the "unneccessarily ignored" warning. + skip_file_length = Directive::Ignore(true); } if let Directive::Ignore(false) = skip_cr {