]> git.lizzy.rs Git - rust.git/commit
Auto merge of #1366 - RalfJung:rustc-exit, r=RalfJung
authorbors <bors@rust-lang.org>
Sat, 25 Apr 2020 09:17:04 +0000 (09:17 +0000)
committerbors <bors@rust-lang.org>
Sat, 25 Apr 2020 09:17:04 +0000 (09:17 +0000)
commit01db8b4d1e335fbdb8a9f6412c63b40aca75fa2d
tree602d934dc6696864f730783fcaf3b7ae99f513a6
parent52f5d202bdcfe8986f0615845f8d1647ab8a2c6a
parentb128879529cc3a2262965b183780166fbac0d0ef
Auto merge of #1366 - RalfJung:rustc-exit, r=RalfJung

fix exit code on rustc errors

Fixes https://github.com/rust-lang/miri/issues/1352