diff options
author | Divy Srivastava <dj.srivastava23@gmail.com> | 2022-11-10 03:53:31 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-11-10 17:23:31 +0530 |
commit | bc33a4b2e06dd5518e0d1bbf7b538d0b00df214d (patch) | |
tree | e139e95178892521ecb5807959e324422ed29045 /tools/lint.js | |
parent | 92764c0decb370b0f8a78770314ceda7228d315f (diff) |
refactor(ops): Rewrite fast call optimizer and codegen (#16514)
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index 65f8888b7..11e912f49 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -112,7 +112,15 @@ async function clippy() { } const { success } = await Deno.spawn("cargo", { - args: [...cmd, "--", "-D", "warnings"], + args: [ + ...cmd, + "--", + "-D", + "warnings", + "-A", + // https://github.com/rust-lang/rust-clippy/issues/407 + "clippy::extra_unused_lifetimes", + ], stdout: "inherit", stderr: "inherit", }); |