Skip to content

Commit 0373ce6

Browse files
committed
Warn when no profiler runtime means coverage tests won't be run/blessed
1 parent 6ae4cfb commit 0373ce6

File tree

1 file changed

+9
-0
lines changed

1 file changed

+9
-0
lines changed

src/tools/compiletest/src/main.rs

+9
Original file line numberDiff line numberDiff line change
@@ -15,6 +15,15 @@ fn main() {
1515
eprintln!("warning: `tidy` is not installed; diffs will not be generated");
1616
}
1717

18+
if !config.profiler_support && config.mode == Mode::CoverageRun {
19+
let actioned = if config.bless { "blessed" } else { "checked" };
20+
eprintln!(
21+
r#"
22+
WARNING: profiler runtime is not available, so `.coverage` files won't be {actioned}
23+
help: try setting `profiler = true` in the `[build]` section of `config.toml`"#
24+
);
25+
}
26+
1827
log_config(&config);
1928
run_tests(config);
2029
}

0 commit comments

Comments
 (0)