Searched refs:outf (Results 1 – 1 of 1) sorted by relevance
127 FILE* outf = stdout; in main() local139 outf = fopen(argv[2], "w"); in main()140 if (!outf) { in main()180 fprintf(outf, "%s%s%s\n", in main()
Completed in 4 milliseconds