diff options
| author | bors <bors@rust-lang.org> | 2024-03-25 12:55:08 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-25 12:55:08 +0000 |
| commit | cf172a8ebd4d34e85f219b29062b8dfd12c1345d (patch) | |
| tree | 9738f6a0c63fedac422de2b69005ce8fbad55073 /src | |
| parent | dcddf24626c0d5d7d87a3c4922dbfa296b0e869f (diff) | |
| parent | 89a32d7b5f873b729b120ba570e8e883541989c0 (diff) | |
| download | rust-cf172a8ebd4d34e85f219b29062b8dfd12c1345d.tar.gz rust-cf172a8ebd4d34e85f219b29062b8dfd12c1345d.zip | |
Auto merge of #3410 - RalfJung:all-targets, r=RalfJung
CONTRIBUTING: vsocde settings: add --all-targets Seems like when setting a custom command, one needs to pass this flag manually, it's no longer automatically added by RA.
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index f779c09b764..3416fb0d9ba 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -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", ], } ``` |