Searched refs:ref_file (Results 1 – 1 of 1) sorted by relevance
766 FILE *dumpfile = NULL, *ref_file = NULL; in main() local807 ref_file = fopen(optarg, "r"); in main()808 if (!ref_file) { in main()846 read_reference(ref_file); in main()847 fclose(ref_file); in main()
