1 files changed, 6 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js
index 2bb91f3d5..0fe96b049 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -162,6 +162,12 @@ async function clippy() {
       "warnings",
       "--deny",
       "clippy::unused_async",
+      // generally prefer the `log` crate, but ignore
+      // these print_* rules if necessary
+      "--deny",
+      "clippy::print_stderr",
+      "--deny",
+      "clippy::print_stdout",
     ],
     stdout: "inherit",
     stderr: "inherit",