search

rust-lang / miri

An interpreter for Rust's mid-level intermediate representation
Apache License 2.0
4.16k stars 318 forks source link

./miri.bat silently exits unconditionally #3714

Closed cgettys-microsoft closed 4 days ago

cgettys-microsoft commented 5 days ago

3703 appears to cause ./miri.bat to unconditionally exit even if the stable toolchain is installed.

Not a batch expert, but based on Powershell, & would be fork, not "do this after"

&& seems to fix it, PR to follow.

RossSmyth commented 5 days ago

Yeah, sorry I didn't check it very carefully.

cgettys-microsoft commented 5 days ago

No worries, happens to all of us. Just thought I should bring it up and/or fix it myself 😄