Searched refs:header_file_set (Results 1 – 6 of 6) sorted by relevance
315 extern int header_file_set;436 if (!header_file_set) header_file_name = strdup(read_word()); in read_children()
646 int header_file_set = 0; variable2293 header_file_set = 1; in arg()
315 extern int header_file_set;444 if (!header_file_set) header_file_name = strdup(read_word()); in read_children()
646 int header_file_set = 0; variable2310 header_file_set = 1; in arg()
307 extern int header_file_set;436 if (!header_file_set) header_file_name = strdup(read_word()); in read_children()
698 int header_file_set = 0; variable1736 header_file_set = 1; in arg()