Searched refs:eftwrite (Results 1 – 4 of 4) sorted by relevance
38 void eftwrite(const char *fname);
99 eftwrite(const char *fname) in eftwrite() function
33 writer_WRTOBJ = eftwrite.o
218 eftwrite(outfile); in main()