Searched refs:output_embed_filename (Results 1 – 1 of 1) sorted by relevance
48 const std::string output_embed_filename = argv[4]; in main() local76 std::ofstream output_embed_file(output_embed_filename); in main()78 std::cout << "Failed to open output file " << output_embed_filename; in main()