Searched refs:emit_system_info (Results 1 – 1 of 1) sorted by relevance
6856 const char *err_temp, int emit_system_info, int append) in run_attempt() argument6859 if (emit_system_info) in run_attempt()7027 int emit_system_info = 0; in try_generate_repro() local7035 emit_system_info = 1; in try_generate_repro()7039 temp_stderr_files[attempt], emit_system_info, in try_generate_repro()