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