clippy: allow some lints

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>

diff --git a/base/lib.rs b/base/lib.rs
index 7757111d3a59ecd3f6dfe5aae397075820a54915..b65b228f98bff107e371a1e751a260b685360848 100644 (file)
--- 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 85048bf1c4a130071c1f253d80de200564a8573c..5f911a890a1b5331a305d9f53de7287bf0cc7eee 100644 (file)
--- 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