diff options
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tools/lint.js b/tools/lint.js index 4e842c2b9..a9279bb25 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -117,13 +117,6 @@ async function clippy() { "--", "-D", "warnings", - "-A", - // https://github.com/rust-lang/rust-clippy/issues/407 - "clippy::extra_unused_lifetimes", - "-A", - // https://github.com/rust-lang/rust-clippy/issues/7271 - // False positives in core/resources.rs for lifetime elision. - "clippy::needless_lifetimes", ], stdout: "inherit", stderr: "inherit", |