]> git.lizzy.rs Git - rust.git/commitdiff
Merge pull request #3087 from rust-lang-nursery/run
authorOliver Schneider <github35764891676564198441@oli-obk.de>
Sun, 26 Aug 2018 14:29:11 +0000 (16:29 +0200)
committerGitHub <noreply@github.com>
Sun, 26 Aug 2018 14:29:11 +0000 (16:29 +0200)
Use the compilers exit code computation instead of rolling our own


Trivial merge