RA config: disable default features for faster build script build

2025-07-18 10:09:49 +02:00 · 2025-07-18 10:09:49 +02:00 · cc6bc7af23
commit cc6bc7af23
parent 24ea3e22d3
2 changed files with 2 additions and 0 deletions
--- 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",
 ]
--- 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",
    ],
 }