Searched refs:header_time (Results 1 – 2 of 2) 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()
55 static int header_time, body_time; variable108 header_time = 0;193 header_time += this_time - body_time;217 print_time ("header files (total)", header_time); in dump_time_statistics()220 (double)header_time / (double)(this_time - body_time)); in dump_time_statistics()