Skip to content

Commit cfc10f0

Browse files
committed
fix MIRI_LOG=info not setting the level for miri itself
1 parent 639fab7 commit cfc10f0

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/tools/miri/src/bin/miri.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -202,7 +202,7 @@ fn rustc_logger_config() -> rustc_log::LoggerConfig {
202202
// rustc traced, but you can also do `MIRI_LOG=miri=trace,rustc_const_eval::interpret=debug`.
203203
if tracing::Level::from_str(&var).is_ok() {
204204
cfg.filter = Ok(format!(
205-
"rustc_middle::mir::interpret={var},rustc_const_eval::interpret={var}"
205+
"rustc_middle::mir::interpret={var},rustc_const_eval::interpret={var},miri={var}"
206206
));
207207
} else {
208208
cfg.filter = Ok(var);

0 commit comments

Comments
 (0)