Skip to content

Commit

Permalink
need to unset MIRI_SYSROOT before calling 'cargo miri setup'
Browse files Browse the repository at this point in the history
  • Loading branch information
RalfJung committed Mar 22, 2020
1 parent c7f8fed commit 0325dd5
Showing 1 changed file with 3 additions and 0 deletions.
3 changes: 3 additions & 0 deletions .appveyor.yml
Original file line number Diff line number Diff line change
Expand Up @@ -53,6 +53,7 @@ test_script:
- cd test-cargo-miri
- '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
- cd ..
- set MIRI_SYSROOT=
# Test foreign miri: 64bit Linux
- cargo miri setup --target x86_64-unknown-linux-gnu
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
Expand All @@ -61,6 +62,7 @@ test_script:
- cd test-cargo-miri
- '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
- cd ..
- set MIRI_SYSROOT=
# Test foreign miri: 64bit macOS
- cargo miri setup --target x86_64-apple-darwin
- set MIRI_SYSROOT=%USERPROFILE%\AppData\Local\rust-lang\miri\cache
Expand All @@ -69,6 +71,7 @@ test_script:
- cd test-cargo-miri
- '"C:\msys64\mingw64\bin\python3.exe" run-test.py'
- cd ..
- set MIRI_SYSROOT=

after_test:
# Don't cache "master" toolchain, it's a waste
Expand Down

0 comments on commit 0325dd5

Please sign in to comment.