If run_second_cpp=false the coverage report will refer to the temporary
preprocessed file instead of the source file. Fix this by forcing
run_second_cpp=true if profiling information is being generated.
Fixes #1441.
}
}
+ if (args_info.profile_generate && !config.run_second_cpp()) {
+ LOG_RAW(
+ "Generating profiling information; not compiling preprocessed code");
+ config.set_run_second_cpp(true);
+ }
+
if (args_info.profile_path.empty()) {
args_info.profile_path = pstr(ctx.apparent_cwd).str();
}