diff options
Diffstat (limited to 'tools/lint.js')
-rwxr-xr-x | tools/lint.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/lint.js b/tools/lint.js index 699341692..3e62bb844 100755 --- a/tools/lint.js +++ b/tools/lint.js @@ -135,7 +135,7 @@ async function clippy() { console.log("clippy"); const currentBuildMode = buildMode(); - const cmd = ["clippy", "--all-targets", "--locked"]; + const cmd = ["clippy", "--all-targets", "--all-features", "--locked"]; if (currentBuildMode != "debug") { cmd.push("--release"); |