Searched refs:output_header_file (Results 1 – 6 of 6) 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()
29 def generate(symbol_name, commit_id, output_header_file): argument31 with open(output_header_file, "w") as header_file:140 generate(args.symbol_name, commit_id, args.output_header_file)
32 --output_header_file="${OUTPUT_HEADER_FILE}" \
67 with open(FLAGS.output_header_file, "w") as header_handle:
98 --output_header_file $(location :devicedb-sample.h) \141 --output_header_file $(location :gpu_compatibility_binary.h) \
190 with open(flags.output_header_file, "w") as header_handle: