]> git.lizzy.rs Git - rust.git/commit
Remove -Z miri debugging option
authorFabio B <f-bro@mailbox.org>
Fri, 13 Apr 2018 07:43:10 +0000 (09:43 +0200)
committerFabio B <f-bro@mailbox.org>
Fri, 13 Apr 2018 07:43:10 +0000 (09:43 +0200)
commit35087fcb89d8d6ba8e9490e9aadeaf6987c55e34
treec16dbeaefedaf2c9ebcb5853a0877ba5be1d6a8b
parent252a459d373f40512ed9137d59e4b6bea5d6aaee
Remove -Z miri debugging option
src/bootstrap/bin/rustc.rs
src/bootstrap/test.rs
src/librustc/session/config.rs