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/README.md | |
| parent | 724c1a0c4d782bd6190f7d8ad7607f16dde24f38 (diff) | |
| download | rust-943f88bb4e3a17bb6e8a64d86b5507a800984773.tar.gz rust-943f88bb4e3a17bb6e8a64d86b5507a800984773.zip | |
README: Add macos cache deletion command
Diffstat (limited to 'src/tools/miri/README.md')
| -rw-r--r-- | src/tools/miri/README.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/miri/README.md b/src/tools/miri/README.md index 7b684d5df13..7ca58cb3f80 100644 --- a/src/tools/miri/README.md +++ b/src/tools/miri/README.md @@ -432,7 +432,9 @@ Moreover, Miri recognizes some environment variables: must point to the `library` subdirectory 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`). + cache manually (on Linux, `rm -rf ~/.cache/miri`; + on Windows, `rmdir /S "%LOCALAPPDATA%\rust-lang\miri\cache"`; + and on macOS, `rm -rf ~/Library/Caches/org.rust-lang.miri`). * `MIRI_SYSROOT` (recognized by `cargo miri` and the Miri driver) indicates the sysroot to use. When using `cargo miri`, only set this if you do not want to use the automatically created sysroot. For directly invoking the Miri driver, this variable (or a `--sysroot` flag) is mandatory. |