summaryrefslogtreecommitdiff
path: root/tools/lint.js
diff options
context:
space:
mode:
authorMathias Lafeldt <mathias.lafeldt@gmail.com>2022-08-11 15:43:27 +0200
committerGitHub <noreply@github.com>2022-08-11 19:13:27 +0530
commit883269f1f183428f60c54223135d8dd25977b3cd (patch)
tree775a352e68fb85292861a92bd267b9b41fc33d74 /tools/lint.js
parent25a1cc1b28ee2f37deb6305c0feb66d4eec50804 (diff)
chore: move lint rules to cargo config for better editor integration (#15453)
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-xtools/lint.js13
1 files changed, 1 insertions, 12 deletions
diff --git a/tools/lint.js b/tools/lint.js
index ee438ed8b..62f73119f 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -109,18 +109,7 @@ async function clippy() {
}
const { success } = await Deno.spawn("cargo", {
- args: [
- ...cmd,
- "--",
- "-D",
- "clippy::all",
- "-D",
- "clippy::await_holding_refcell_ref",
- "-D",
- "clippy::missing_safety_doc",
- "-D",
- "clippy::undocumented_unsafe_blocks",
- ],
+ args: cmd,
stdout: "inherit",
stderr: "inherit",
});