================
@@ -869,5 +875,12 @@ def convert_string(bytes_input):
return str(bytes_input)
+def print_filename(filename, null=False):
+ if null:
+ print(filename + "\0", end="")
----------------
owenca wrote:
> Shouldn't you copy the the indentation of the printed files?
It prints the filename, not the file.
https://github.com/llvm/llvm-project/pull/123926
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
