Searched defs:fileprefix (Results 1 – 4 of 4) sorted by relevance
821 char *fileprefix = make_temp_file (NULL); in main() local1034 char *fileprefix = make_temp_file (NULL); in main() local
317 char *fileprefix; in open_input_stream() local
821 char *fileprefix = choose_temp_base (); in main() local1034 char *fileprefix = choose_temp_base (); in main() local