Skip to content

Commit

Permalink
Fix project dirs path
Browse files Browse the repository at this point in the history
    ProjectDirs::from("miri", "miri", "miri")

would get you `miri\miri` on Windows and `miri.miri.miri` on macOS.

I'm assuming here that your intention was to have only a `miri` directory on every OS.
  • Loading branch information
soc committed Jun 15, 2019
1 parent 4736692 commit a561f94
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion .appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -36,7 +36,7 @@ build_script:
- cargo install --all-features --force --path . --locked --offline
# Get ourselves a MIR-full libstd, and use it henceforth
- cargo miri setup
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\miri\cache\HOST
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri\cache\HOST

test_script:
# Test miri
Expand Down
2 changes: 1 addition & 1 deletion src/bin/cargo-miri.rs
Original file line number Diff line number Diff line change
Expand Up @@ -248,7 +248,7 @@ fn setup(ask_user: bool) {
}

// Next, we need our own libstd. We will do this work in whatever is a good cache dir for this platform.
let dirs = directories::ProjectDirs::from("miri", "miri", "miri").unwrap();
let dirs = directories::ProjectDirs::from("", "", "miri").unwrap();
let dir = dirs.cache_dir();
if !dir.exists() {
fs::create_dir_all(&dir).unwrap();
Expand Down

0 comments on commit a561f94

Please sign in to comment.