From c15845bf2951991ce47ec047666a2cbe75759e9d Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Wed, 11 May 2022 10:03:56 +0200 Subject: [PATCH] when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT --- src/bin/miri.rs | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/bin/miri.rs b/src/bin/miri.rs index b1c2872513e..0aa8755573a 100644 --- a/src/bin/miri.rs +++ b/src/bin/miri.rs @@ -155,6 +155,10 @@ fn init_early_loggers() { // initialize them both, and we always initialize `miri`'s first. let env = env_logger::Env::new().filter("MIRI_LOG").write_style("MIRI_LOG_STYLE"); env_logger::init_from_env(env); + // Enable verbose entry/exit logging by default if MIRI_LOG is set. + if env::var_os("MIRI_LOG").is_some() && env::var_os("RUSTC_LOG_ENTRY_EXIT").is_none() { + env::set_var("RUSTC_LOG_ENTRY_EXIT", "1"); + } // We only initialize `rustc` if the env var is set (so the user asked for it). // If it is not set, we avoid initializing now so that we can initialize // later with our custom settings, and *not* log anything for what happens before -- 2.44.0