Skip to content

Commit

Permalink
Warn when no profiler runtime means coverage tests won't be run/blessed
Browse files Browse the repository at this point in the history
  • Loading branch information
Zalathar committed Jan 18, 2024
1 parent 6ae4cfb commit 0373ce6
Showing 1 changed file with 9 additions and 0 deletions.
9 changes: 9 additions & 0 deletions src/tools/compiletest/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,15 @@ fn main() {
eprintln!("warning: `tidy` is not installed; diffs will not be generated");
}

if !config.profiler_support && config.mode == Mode::CoverageRun {
let actioned = if config.bless { "blessed" } else { "checked" };
eprintln!(
r#"
WARNING: profiler runtime is not available, so `.coverage` files won't be {actioned}
help: try setting `profiler = true` in the `[build]` section of `config.toml`"#
);
}

log_config(&config);
run_tests(config);
}

0 comments on commit 0373ce6

Please sign in to comment.