Searched refs:base_file_name (Results 1 – 2 of 2) sorted by relevance
102 static char *base_file_name; variable286 if (delete_base_file && base_file_name) in delete_temp_files()291 warn (_("Keeping temporary base file %s"), base_file_name); in delete_temp_files()293 warn (_("Deleting temporary base file %s"), base_file_name); in delete_temp_files()297 unlink (base_file_name); in delete_temp_files()298 free (base_file_name); in delete_temp_files()732 base_file_name = optarg; in main()983 if (! base_file_name) in main()986 base_file_name = (char *) xmalloc (strlen (fileprefix) + 6); in main()987 sprintf (base_file_name, "%s.base", in main()[all …]
8913 base_file_name (const char *file_name) in base_file_name() function8971 base_name = base_file_name (argv[1]); in initiate_automaton_gen()