Searched refs:record_open (Results 1 – 3 of 3) sorted by relevance
179 void record_open(const char *file);
266 record_open(const char *file) in record_open() function
246 record_open(outfile); in open_output()