Searched refs:outfilename (Results 1 – 1 of 1) sorted by relevance
59 const char *outfilename; variable91 if (outfilename) in fail()92 unlink(outfilename); in fail()216 outfilename = argv[3]; in main()217 outfile = fopen(outfilename, "w"); in main()