diff options
| author | Bartek Iwańczuk <biwanczuk@gmail.com> | 2023-03-10 08:07:28 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-10 21:07:28 +0900 |
| commit | 215528f4999ecfe931aa00b687095111cb0603d6 (patch) | |
| tree | 362bf3a20640e3b2a437f5862427d141e9eaf713 /tools/lint.js | |
| parent | a7a804919d8bde1a45c9a95b74d949401401a32f (diff) | |
build: run clippy with --all-features (#18115)
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"); |