diff options
Diffstat (limited to 'maint')
| -rwxr-xr-x | maint/add_warning | 1 | ||||
| -rw-r--r-- | maint/fixup-features/src/graph.rs | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/maint/add_warning b/maint/add_warning index cb9fe9709..37db20668 100755 --- a/maint/add_warning +++ b/maint/add_warning @@ -49,6 +49,7 @@ WANT_LINTS = """ #![deny(clippy::unnecessary_wraps)] #![warn(clippy::unseparated_literal_suffix)] #![deny(clippy::unwrap_used)] +#![deny(clippy::mod_module_files)] #![allow(clippy::let_unit_value)] // This can reasonably be done for explicitness #![allow(clippy::uninlined_format_args)] #![allow(clippy::significant_drop_in_scrutinee)] // arti/-/merge_requests/588/#note_2812945 diff --git a/maint/fixup-features/src/graph.rs b/maint/fixup-features/src/graph.rs index 6c1e1cfa5..851be62c9 100644 --- a/maint/fixup-features/src/graph.rs +++ b/maint/fixup-features/src/graph.rs @@ -37,6 +37,7 @@ #![deny(clippy::unnecessary_wraps)] #![warn(clippy::unseparated_literal_suffix)] #![deny(clippy::unwrap_used)] +#![deny(clippy::mod_module_files)] #![allow(clippy::let_unit_value)] // This can reasonably be done for explicitness #![allow(clippy::uninlined_format_args)] #![allow(clippy::significant_drop_in_scrutinee)] // arti/-/merge_requests/588/#note_2812945 |