Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #980 - JOE1994:master, r=RalfJung
change cargo-miri.rs to fix issue #978 In Windows 10, there was an issue with building MIRI locally and getting it running, due to unpredictable backslash escaping issues in paths. I added a code snippet that would only be compiled in Windows OS, which replaces all backslashes in paths to slashes. This fix should only affect Windows users. Building and testing MIRI locally now works fine after the fix. ![miri_result_after_fix0](https://user-images.githubusercontent.com/10286488/66260998-344abc80-e794-11e9-9d7c-b4ef098443de.PNG) Fixes #978
- Loading branch information