Searched refs:makefile_type_temp (Results 1 – 1 of 1) sorted by relevance
2418 Makefile_type makefile_type_temp = makefile_type; in read_files_and_state() local2431 makefile_type = makefile_type_temp; in read_files_and_state()