Skip to content

Commit

Permalink
Rollup merge of #133567 - bjorn3:various_cleanups, r=cjgillot
Browse files Browse the repository at this point in the history
A bunch of cleanups

These are all extracted from a branch I have to get rid of driver queries. Most of the commits are not directly necessary for this, but were found in the process of implementing the removal of driver queries.

Previous PR: rust-lang/rust#132410
  • Loading branch information
matthiaskrgr authored Dec 9, 2024
2 parents f586c70 + 38c363a commit c78173e
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/bin/miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -289,7 +289,8 @@ fn run_compiler(
let exit_code = rustc_driver::catch_with_exit_code(move || {
rustc_driver::RunCompiler::new(&args, callbacks)
.set_using_internal_features(using_internal_features)
.run()
.run();
Ok(())
});
std::process::exit(exit_code)
}
Expand Down

0 comments on commit c78173e

Please sign in to comment.