Skip to content

Commit

Permalink
propagate --bless to Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Aug 5, 2022
1 parent d5e9e94 commit 54b122e
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions src/bootstrap/test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -628,6 +628,10 @@ impl Step for Miri {
cargo.env("MIRI_HOST_SYSROOT", sysroot);
cargo.env("RUSTC_LIB_PATH", builder.rustc_libdir(compiler));
cargo.env("MIRI", miri);
// propagate --bless
if builder.config.cmd.bless() {
cargo.env("MIRI_BLESS", "Gesundheit");
}

cargo.arg("--").args(builder.config.cmd.test_args());

Expand Down

0 comments on commit 54b122e

Please sign in to comment.