Lines Matching refs:header_file

89 def manipulate_headerfile(defines, header_file):  argument
94     with open(header_file, "r") as source:
115     with open(header_file, "w") as output:
143     for header_file in header_files:
144         if os.path.basename(header_file) + "\n" in diff_state.stdout:
149 def create_patch(defines, header_file):  argument
151     manipulate_headerfile(defines, header_file)
152     patch = subprocess.run(["git", "diff", header_file],
155     cleaned = subprocess.run(["git", "checkout", "--", header_file],
170                 """.format(cleaned.returncode, header_file, cleaned.stderr)))
172     header_path_part = header_file.replace(os.sep, "_")