From f47b2eee67d1634f38bc9d1cd4a7e2a077ad97bf Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 11 Dec 2024 19:21:19 +0100
Subject: [PATCH] ./miri bench: set toolchain explicitly

---
 miri-script/src/commands.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/miri-script/src/commands.rs b/miri-script/src/commands.rs
index 21029d0b5b..4b1cfffd4f 100644
--- a/miri-script/src/commands.rs
+++ b/miri-script/src/commands.rs
@@ -409,6 +409,7 @@ impl Command {
             OsString::new()
         };
         let target_flag = &target_flag;
+        let toolchain = active_toolchain()?;
         // Run the requested benchmarks
         for bench in benches {
             let current_bench = path!(benches_dir / bench / "Cargo.toml");
@@ -416,7 +417,7 @@ impl Command {
             // That seems to make Windows CI happy.
             cmd!(
                 sh,
-                "{program_name} {args...} 'cargo miri run '{target_flag}' --manifest-path \"'{current_bench}'\"'"
+                "{program_name} {args...} 'cargo +'{toolchain}' miri run '{target_flag}' --manifest-path \"'{current_bench}'\"'"
             )
             .run()?;
         }