Searched refs:binary_output_file (Results 1 – 1 of 1) sorted by relevance
437 const char *binary_output_file = 0; in main() local447 binary_output_file = argv[i]; in main()465 if (binary_output_file) { in main()466 FILE *fout = fopen(binary_output_file, "wb"); in main()468 fprintf(stderr, "Error: Can not write to %s.\n", binary_output_file); in main()