From acac4cc6044c8c77a6beb4a3e09e70d565aebbce Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Thu, 31 Mar 2022 00:28:37 +0100 Subject: [PATCH] clippy: allow some lints Signed-off-by: Ian Jackson --- base/lib.rs | 2 ++ clippy-options | 4 ++++ 2 files changed, 6 insertions(+) diff --git a/base/lib.rs b/base/lib.rs index 7757111d..b65b228f 100644 --- a/base/lib.rs +++ b/base/lib.rs @@ -3,6 +3,8 @@ // There is NO WARRANTY. #![allow(clippy::redundant_closure_call)] +#![allow(clippy::writeln_empty_string)] + pub mod imports; pub mod prelude; diff --git a/clippy-options b/clippy-options index 85048bf1..5f911a89 100644 --- a/clippy-options +++ b/clippy-options @@ -1,3 +1,7 @@ -- -A clippy::redundant_closure_call -A clippy::writeln_empty_string +-A clippy::write_with_newline +-A clippy::let_and_return +-A clippy::needless_lifetimes +-A clippy::upper_case_acronyms -- 2.30.2