Skip to content

Commit

Permalink
Auto merge of #123192 - RalfJung:bootstrap-test-miri, r=onur-ozkan
Browse files Browse the repository at this point in the history
Refactor the way bootstrap invokes `cargo miri`

Instead of basically doing `cargo run --manifest-path=<cargo-miri's manifest> -- miri`, let's invoke the `cargo-miri` binary directly. That means less indirections, and also makes it easier to e.g. run the libcore test suite in Miri. (But there are still other issues with that.)

Also also adjusted Miri's stage numbering so that it is consistent with rustc/rustdoc.

This also makes `./x.py test miri` honor `--no-doc`.

And this fixes rust-lang/rust#123177 by moving where we handle parallel_compiler.
  • Loading branch information
bors committed Apr 1, 2024
2 parents 433a843 + 6d6e311 commit d8cb838
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit d8cb838

Please sign in to comment.