diff options
| author | Nilstrieb <48135649+Nilstrieb@users.noreply.github.com> | 2024-06-07 21:31:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-07 21:31:13 +0200 |
| commit | 27d9a46221cb39b5ab491623c78b114e04235518 (patch) | |
| tree | e61d679a76b4c176f670b1591a3c08c53a707391 /src/tools | |
| parent | 60f7aabd8e8274950aff8dcf93a71cf9becef606 (diff) | |
Fix stage in contributing
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index 4534e54ad5e..edb551c15ea 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -223,7 +223,7 @@ will eventually sync those changes back into this repository. When working on Miri in the rustc tree, here's how you can run tests: ``` -./x.py test miri --stage 0 +./x.py test miri --stage 1 ``` `--bless` will work, too. @@ -231,7 +231,7 @@ When working on Miri in the rustc tree, here's how you can run tests: You can also directly run Miri on a Rust source file: ``` -./x.py run miri --stage 0 --args src/tools/miri/tests/pass/hello.rs +./x.py run miri --stage 1 --args src/tools/miri/tests/pass/hello.rs ``` ## Advanced topic: Syncing with the rustc repo |