[script] slight improve on formatting

This commit is contained in:
tangxifan 2022-08-22 18:00:14 -07:00
parent 4a7c3fce93
commit 55e765a206
1 changed files with 2 additions and 1 deletions

View File

@ -86,7 +86,8 @@ def convert_arch_xml_from_v1p1_to_v1p2(input_fname, output_fname):
# Output the modified content # Output the modified content
with open(output_fname, "w") as output_xml_f: with open(output_fname, "w") as output_xml_f:
doc.writexml(output_xml_f, indent=" ", newl='\n') doc.writexml(output_xml_f, indent=" ", newl='')
doc.unlink()
# Finish up # Finish up
end_time = time.time() end_time = time.time()