Skip to content

Commit 21399ff

Browse files
committed
Auto merge of rust-lang#2229 - DrMeepster:patch-1, r=RalfJung
Add cache location on windows to documentation
2 parents 03a05ae + 286a30f commit 21399ff

File tree

1 file changed

+4
-2
lines changed

1 file changed

+4
-2
lines changed

CONTRIBUTING.md

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -134,7 +134,8 @@ build Miri yourself, the Miri shipped by `rustup` will work. All you have to do
134134
is set the `MIRI_LIB_SRC` environment variable to the `library` folder of a
135135
`rust-lang/rust` repository checkout. Note that changing files in that directory
136136
does not automatically trigger a re-build of the standard library; you have to
137-
clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri`).
137+
clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri`;
138+
and on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri\cache"`).
138139

139140
## Configuring `rust-analyzer`
140141

@@ -226,7 +227,8 @@ rustup override set stage2
226227
```
227228

228229
Important: You need to delete the Miri cache when you change the stdlib; otherwise the
229-
old, chached version will be used. On Linux, the cache is located at `~/.cache/miri`; the exact
230+
old, chached version will be used. On Linux, the cache is located at `~/.cache/miri`,
231+
and on Windows, it is located at `%LOCALAPPDATA%\rust-lang\miri\cache`; the exact
230232
location is printed after the library build: "A libstd for Miri is now available in ...".
231233

232234
Note: `./x.py --stage 2 compiler/rustc` currently errors with `thread 'main'

0 commit comments

Comments
 (0)