Skip to content

Commit

Permalink
bootstrap/rustc: remove a miri hack
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Mar 30, 2024
1 parent ea3ddf3 commit cd2dbe9
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/bootstrap/src/bin/rustc.rs
Expand Up @@ -150,7 +150,7 @@ fn main() {
{
cmd.arg("-Ztls-model=initial-exec");
}
} else if std::env::var("MIRI").is_err() {
} else {
// Find any host flags that were passed by bootstrap.
// The flags are stored in a RUSTC_HOST_FLAGS variable, separated by spaces.
if let Ok(flags) = std::env::var("RUSTC_HOST_FLAGS") {
Expand Down

0 comments on commit cd2dbe9

Please sign in to comment.