Searched refs:outf (Results 1 – 1 of 1) sorted by relevance
80 FILE *outf; in read_trace_pipe2() local92 outf = fopen(outFname, "w"); in read_trace_pipe2()94 if (outf == NULL) in read_trace_pipe2()105 if (outf != NULL) { in read_trace_pipe2()106 fprintf(outf, "%s\n", buf); in read_trace_pipe2()107 fflush(outf); in read_trace_pipe2()