Skip to content

Commit

Permalink
WIP need to figure out where miri's cache dir is on appveyor
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Nov 27, 2018
1 parent 444e2f0 commit 1bc88e0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ test_script:
- set RUST_BACKTRACE=1
# Test plain miri
- cargo build --release --all-features --all-targets
- cargo test --release --all-features
#- cargo test --release --all-features
# Get ourselves a MIR-full libstd, and use it henceforth
- cargo run --release --all-features --bin cargo-miri -- miri setup
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\miri
Expand Down

0 comments on commit 1bc88e0

Please sign in to comment.