diff options
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/tools/lint.js b/tools/lint.js index 18be09c65..f1fa96a2c 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -116,6 +116,10 @@ async function clippy() { "clippy::all", "-D", "clippy::await_holding_refcell_ref", + "-D", + "clippy::missing_safety_doc", + "-D", + "clippy::undocumented_unsafe_blocks", ], stdout: "inherit", stderr: "inherit", |