diff options
| author | David Sherret <dsherret@users.noreply.github.com> | 2024-05-08 22:45:06 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-08 22:45:06 -0400 |
| commit | 47f7bed677a6b72e873712de8f3988ea891710e4 (patch) | |
| tree | 096549459b479cf1383e65c87b77e9f9482df258 /tools/lint.js | |
| parent | e6dc4dfbff25e77d2127591802229b4a74037d24 (diff) | |
chore: enable clippy::print_stdout and clippy::print_stderr (#23732)
1. Generally we should prefer to use the `log` crate.
2. I very often accidentally commit `eprintln`s.
When we should use `println` or `eprintln`, it's not too bad to be a bit
more verbose and ignore the lint rule.
Diffstat (limited to 'tools/lint.js')
| -rwxr-xr-x | tools/lint.js | 6 |
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", |