Skip to content

Commit

Permalink
./miri bench: set toolchain explicitly
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Dec 11, 2024
1 parent f0fe74f commit f47b2ee
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion miri-script/src/commands.rs
Original file line number Diff line number Diff line change
Expand Up @@ -409,14 +409,15 @@ 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");
// We don't attempt to escape `current_bench`, but we wrap it in quotes.
// 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()?;
}
Expand Down

0 comments on commit f47b2ee

Please sign in to comment.