diff options
| author | Martin Kröning <mkroening@posteo.net> | 2022-11-06 17:38:37 +0100 |
|---|---|---|
| committer | Martin Kröning <mkroening@posteo.net> | 2022-11-06 17:38:37 +0100 |
| commit | 943f88bb4e3a17bb6e8a64d86b5507a800984773 (patch) | |
| tree | 9c1f09e859dd6ac8378fd8bfda3c203a83448e0b /src/tools/miri/CONTRIBUTING.md | |
| parent | 724c1a0c4d782bd6190f7d8ad7607f16dde24f38 (diff) | |
| download | rust-943f88bb4e3a17bb6e8a64d86b5507a800984773.tar.gz rust-943f88bb4e3a17bb6e8a64d86b5507a800984773.zip | |
README: Add macos cache deletion command
Diffstat (limited to 'src/tools/miri/CONTRIBUTING.md')
| -rw-r--r-- | src/tools/miri/CONTRIBUTING.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/tools/miri/CONTRIBUTING.md b/src/tools/miri/CONTRIBUTING.md index 5c41547616e..f0f0cb20317 100644 --- a/src/tools/miri/CONTRIBUTING.md +++ b/src/tools/miri/CONTRIBUTING.md @@ -150,7 +150,8 @@ is set the `MIRI_LIB_SRC` environment variable to the `library` folder of a `rust-lang/rust` repository checkout. Note that changing files in that directory does not automatically trigger a re-build of the standard library; you have to clear the Miri build cache manually (on Linux, `rm -rf ~/.cache/miri`; -and on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri\cache"`). +on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri\cache"`; +and on macOS, `rm -rf ~/Library/Caches/org.rust-lang.miri`). ### Benchmarking |