Searched refs:inst_file_fp (Results 1 – 1 of 1) sorted by relevance
3742 FILE *inst_file_fp = NULL; in flush_path_to_inst() local3788 if ((inst_file_fp = fopen(inst_file, "r")) == NULL) { in flush_path_to_inst()3824 while ((c = getc(inst_file_fp)) != EOF) { in flush_path_to_inst()3860 if (inst_file_fp != NULL) { in flush_path_to_inst()3861 if (fclose(inst_file_fp) == EOF) { in flush_path_to_inst()