Searched refs:make_filename (Results 1 – 1 of 1) sorted by relevance
887 make_filename (int num) in make_filename() function906 output_filename = make_filename (nfiles); in create_output_file()944 char const *name = make_filename (i); in delete_all_files()