Searched refs:outf (Results 1 – 1 of 1) sorted by relevance
179 FILE *outf = NULL; in main() local343 outf = stdout; in main()345 outf = fopen(outname, "wb"); in main()346 if (! outf) in main()352 dt_to_source(outf, dti); in main()354 dt_to_blob(outf, dti, outversion); in main()356 dt_to_asm(outf, dti, outversion); in main()