diff options
| author | Ralf Jung <post@ralfj.de> | 2023-08-21 09:37:54 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2023-08-21 09:37:54 +0200 |
| commit | 5615562b68ae3985f3dab0f9ac87f92eceb31bab (patch) | |
| tree | b211c27c15f49585c194ce3f2423d133ab4947c0 | |
| parent | 83ca92243ccbc0484b0c34371479db715ad79d9c (diff) | |
| download | rust-5615562b68ae3985f3dab0f9ac87f92eceb31bab.tar.gz rust-5615562b68ae3985f3dab0f9ac87f92eceb31bab.zip | |
update recommended RA config
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index b67e7103fd0..60ba2cd2346 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -165,16 +165,17 @@ to `.vscode/settings.json` in your local Miri clone: { "rust-analyzer.rustc.source": "discover", "rust-analyzer.linkedProjects": [ - "./Cargo.toml", - "./cargo-miri/Cargo.toml" + "Cargo.toml", + "cargo-miri/Cargo.toml", + "miri-script/Cargo.toml", ], - "rust-analyzer.checkOnSave.overrideCommand": [ + "rust-analyzer.check.overrideCommand": [ "env", "MIRI_AUTO_OPS=no", "./miri", "cargo", "clippy", // make this `check` when working with a locally built rustc - "--message-format=json" + "--message-format=json", ], // Contrary to what the name suggests, this also affects proc macros. "rust-analyzer.cargo.buildScripts.overrideCommand": [ |