summaryrefslogtreecommitdiff
path: root/tools/lint.js
diff options
context:
space:
mode:
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-xtools/lint.js9
1 files changed, 8 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js
index 03339bcbe..bcb181e29 100755
--- a/tools/lint.js
+++ b/tools/lint.js
@@ -109,7 +109,14 @@ async function clippy() {
}
const p = Deno.run({
- cmd: [...cmd, "--", "-D", "clippy::all"],
+ cmd: [
+ ...cmd,
+ "--",
+ "-D",
+ "clippy::all",
+ "-D",
+ "clippy::await_holding_refcell_ref",
+ ],
});
const { success } = await p.status();
if (!success) {