Searched refs:header_file (Results 1 – 4 of 4) sorted by relevance
80 write_header(args.header_file, segments, args.adjusted_lma)
451 def dump_header_file(header_file, code_generation): argument467 with open(header_file, "w") as header_file_desc:
33 global header_file46 with open(args.header_out, "w", encoding="utf-8") as header_file:1024 print(s, file=header_file)1033 print(file=header_file)1050 print("\n".join(res), file=header_file)1055 print(f"/* {s} */", file=header_file)
1762 set(header_file ${one_file}) variable1764 set(header_file ${CMAKE_CURRENT_SOURCE_DIR}/${one_file}) variable1771 ${header_file}1775 ${header_file}1778 unset(header_file)
