Searched refs:header_time (Results 1 – 1 of 1) sorted by relevance
46 static int header_time, body_time; variable89 header_time = 0; in init_c_lex()145 header_time += this_time - body_time; in update_header_times()167 print_time ("header files (total)", header_time); in dump_time_statistics()170 (double) header_time / (double) (this_time - body_time)); in dump_time_statistics()