Allow tools (e.g. miri) to enable rust logging

This commit is contained in:
Oliver Schneider 2018-01-25 09:04:00 +01:00
parent 34772aad63
commit 1d438f87e7
No known key found for this signature in database
GPG key ID: A69F8D225B3AD7D9

View file

@ -1574,8 +1574,14 @@ pub fn diagnostics_registry() -> errors::registry::Registry {
Registry::new(&all_errors)
}
pub fn main() {
/// This allows tools to enable rust logging without having to magically match rustc's
/// log crate version
pub fn init_rustc_env_logger() {
env_logger::init();
}
pub fn main() {
init_rustc_env_logger();
let result = run(|| {
let args = env::args_os().enumerate()
.map(|(i, arg)| arg.into_string().unwrap_or_else(|arg| {