Skip to content

Commit 27d9a46

Browse files
authored
Fix stage in contributing
1 parent 60f7aab commit 27d9a46

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/tools/miri/CONTRIBUTING.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -223,15 +223,15 @@ will eventually sync those changes back into this repository.
223223
When working on Miri in the rustc tree, here's how you can run tests:
224224

225225
```
226-
./x.py test miri --stage 0
226+
./x.py test miri --stage 1
227227
```
228228

229229
`--bless` will work, too.
230230

231231
You can also directly run Miri on a Rust source file:
232232

233233
```
234-
./x.py run miri --stage 0 --args src/tools/miri/tests/pass/hello.rs
234+
./x.py run miri --stage 1 --args src/tools/miri/tests/pass/hello.rs
235235
```
236236

237237
## Advanced topic: Syncing with the rustc repo

0 commit comments

Comments
 (0)