mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

when MIRI_LOG is set, set RUSTC_LOG_ENTRY_EXIT

Browse Source
This commit is contained in:
Ralf Jung 2022-05-11 10:03:56 +02:00
parent 6005f5d214
commit c15845bf29
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/bin/miri.rs
View File

@ -155,6 +155,10 @@ fn init_early_loggers() {
// initialize them both, and we always initialize `miri`'s first. // initialize them both, and we always initialize `miri`'s first.
let env = env_logger::Env::new().filter("MIRI_LOG").write_style("MIRI_LOG_STYLE"); let env = env_logger::Env::new().filter("MIRI_LOG").write_style("MIRI_LOG_STYLE");
env_logger::init_from_env(env); 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). // 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 // 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 // later with our custom settings, and *not* log anything for what happens before