Skip to content

Commit 551d529

Browse files
y86-devRalfJung
andauthored
Apply suggestions from code review
Co-authored-by: Ralf Jung <[email protected]>
1 parent 68c912b commit 551d529

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

CONTRIBUTING.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -206,12 +206,12 @@ rustup toolchain link stage2 build/x86_64-unknown-linux-gnu/stage2
206206
rustup override set stage2
207207
```
208208

209-
Important: You need to delete the miri cache (located at `~/.cache/miri`) when
209+
Important: You need to delete the miri cache (located at `~/.cache/miri` on Linux; the exact location is printed after the library build: "A libstd for Miri is now available in ...") when
210210
you change the stdlib, otherwise the old, chached version will be used.
211211

212212
Note: `./x.py --stage 2 compiler/rustc` currently errors with `thread 'main'
213213
panicked at 'fs::read(stamp) failed with No such file or directory (os error 2)`,
214-
after This should not be an issue for any development with miri.
214+
you can simply ignore that error; Miri will build anyway.
215215

216216
For more information about building and configuring a local compiler,
217217
see <https://rustc-dev-guide.rust-lang.org/building/how-to-build-and-run.html>.

0 commit comments

Comments
 (0)