diff options
| author | bors <bors@rust-lang.org> | 2024-04-01 07:19:57 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-04-01 07:19:57 +0000 |
| commit | 871df0d13ae55fcfd8c880e99fedbaba35952e1c (patch) | |
| tree | b36c8460155257458401937ebfb42b4e706a9562 /src/ci/docker | |
| parent | 7f84ede33d60599a4a97697cdd59e8bf96c85677 (diff) | |
| parent | 85d460e829c5ca2600fed6b432a329dbf6d18689 (diff) | |
| download | rust-871df0d13ae55fcfd8c880e99fedbaba35952e1c.tar.gz rust-871df0d13ae55fcfd8c880e99fedbaba35952e1c.zip | |
Auto merge of #123192 - RalfJung:bootstrap-test-miri, r=onur-ozkan
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 https://github.com/rust-lang/rust/issues/123177 by moving where we handle parallel_compiler.
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh index f5c426a717f..10ae7f17db7 100755 --- a/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/host-x86_64/x86_64-gnu-tools/checktools.sh @@ -2,6 +2,7 @@ # ignore-tidy-linelength set -eu +set -x # so one can see where we are in the script X_PY="$1" |