Searched refs:output_header_file (Results 1 – 2 of 2) sorted by relevance
86 output_header_file = open(root_dir + _GENERATED_FILE, 'w')87 output_header_file.write(_CreateOutputHeader())106 output_header_file.write(filtered_output + '\n\n\n')115 output_header_file.write(subject_name_list)117 output_header_file.write(public_key_list)119 output_header_file.write(certificate_list)121 output_header_file.write(certificate_size_list)122 output_header_file.close()
27 def generate(symbol_name, commit_id, output_header_file): argument29 with open(output_header_file, "w") as header_file:111 generate(args.symbol_name, commit_id, args.output_header_file)