diff options
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 9 |
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) { |