You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
…id_fixup-01, r=RalfJung
Fix miri.bat to not exit unconditionally
rust-lang#3703 has a small typo causing it to regress ./miri.bat to not working at all.
This PR fixes it. Tested on Windows 11, with stable toolchain missing as well as installed.
```test
./miri toolchain
error: toolchain 'stable-x86_64-pc-windows-msvc' is not installed
Failed to build miri-script. Is the 'stable' toolchain installed?
```
Closesrust-lang#3714
Click the 'tasks' link in http://dl.rust-lang.org/doc/tutorial.html#owned-closures and watch it go nowhere.
The text was updated successfully, but these errors were encountered: