Searched refs:update_header_times (Results 1 – 3 of 3) sorted by relevance
70 static void update_header_times (const char *);137 update_header_times (const char *name) in update_header_times() function263 update_header_times (new_map->to_file); in fe_file_change()
82 static void update_header_times PARAMS ((const char *));184 update_header_times (name) in update_header_times() function302 update_header_times (new_map->to_file);
9475 (get_fileinfo, update_header_times, dump_one_header,