Searched defs:makeflags_string (Results 1 – 1 of 1) sorted by relevance
1798 String_rec makeflags_string; in read_files_and_state() local2640 append_makeflags_string(Name name, String makeflags_string) in append_makeflags_string()