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 f773918 + b1c0993 commit 55be64c
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 55be64c

Please sign in to comment.