CONTRIBUTING: vsocde settings: add --all-targets

This commit is contained in:
Ralf Jung 2024-03-25 11:21:01 +01:00
parent dcddf24626
commit 89a32d7b5f

View file

@ -181,6 +181,7 @@ to `.vscode/settings.json` in your local Miri clone:
"cargo",
"clippy", // make this `check` when working with a locally built rustc
"--message-format=json",
"--all-targets",
],
// Contrary to what the name suggests, this also affects proc macros.
"rust-analyzer.cargo.buildScripts.overrideCommand": [
@ -190,6 +191,7 @@ to `.vscode/settings.json` in your local Miri clone:
"cargo",
"check",
"--message-format=json",
"--all-targets",
],
}
```