RA config: disable default features for faster build script build

RalfJung · RalfJung · commit cc6bc7af2336 · 2025-07-18T11:05:14.000+02:00
diff --git a/src/tools/miri/etc/rust_analyzer_helix.toml b/src/tools/miri/etc/rust_analyzer_helix.toml
@@ -26,5 +26,6 @@ invocationStrategy = "once"
 overrideCommand = [
     "./miri",
     "check",
+    "--no-default-features",
     "--message-format=json",
 ]
diff --git a/src/tools/miri/etc/rust_analyzer_vscode.json b/src/tools/miri/etc/rust_analyzer_vscode.json
@@ -20,6 +20,7 @@
     "rust-analyzer.cargo.buildScripts.overrideCommand": [
         "./miri",
         "check",
+        "--no-default-features",
         "--message-format=json",
     ],
 }

Original file line number	Diff line number	Diff line change
`@@ -20,6 +20,7 @@`
`20`	`20`	`"rust-analyzer.cargo.buildScripts.overrideCommand": [`
`21`	`21`	`"./miri",`
`22`	`22`	`"check",`
	`23`	`+ "--no-default-features",`
`23`	`24`	`"--message-format=json",`
`24`	`25`	`],`
`25`	`26`	`}`