Searched refs:maybe_dumped_core (Results 1 – 1 of 1) sorted by relevance
3762 const gchar *maybe_dumped_core = ""; in log_child_output() local3766 maybe_dumped_core = ", core dumped"; in log_child_output()3772 maybe_dumped_core); in log_child_output()