diff options
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", }); |