Searched refs:previous_file_name (Results 1 – 1 of 1) sorted by relevance
44 const char* previous_file_name = "NONE"; in check_msgtable() local74 strcmp(file_name, previous_file_name) != 0) { in check_msgtable()77 << previous_file_name << "\n"; in check_msgtable()92 previous_file_name = file_name; in check_msgtable()