X-Git-Url: https://git.lizzy.rs/?a=blobdiff_plain;f=CONTRIBUTING.md;h=42f77b5cbc0ed54667481ef12503134f62b2e33d;hb=d2ba40e9e1ff18f14b2d75462c0f7d7afcae7e76;hp=47864d822c4f45dc98258d1484b59dee2ffa0177;hpb=9ecdc9ea6180118efcf4192ce5e073c39fb5db30;p=rust.git

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 47864d822c4..42f77b5cbc0 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -168,11 +168,15 @@ to `.vscode/settings.json` in your local Miri clone:
         "./cargo-miri/Cargo.toml"
     ],
     "rust-analyzer.checkOnSave.overrideCommand": [
+        "env",
+        "MIRI_AUTO_OPS=no",
         "./miri",
         "check",
         "--message-format=json"
     ],
     "rust-analyzer.buildScripts.overrideCommand": [
+        "env",
+        "MIRI_AUTO_OPS=no",
         "./miri",
         "check",
         "--message-format=json",