pump.py: force generating Unix line feed

This commit is contained in:
Krystian Kuzniarek 2019-11-02 01:17:00 +01:00
parent e08a460277
commit 0d39087048

View File

@ -843,7 +843,7 @@ def main(argv):
if output_file_path == '-':
print(output_str,)
else:
output_file = io.open(output_file_path, 'w')
output_file = io.open(output_file_path, 'w', newline='\n')
output_file.write(u'// This file was GENERATED by command:\n')
output_file.write(u'// %s %s\n' %
(os.path.basename(__file__), os.path.basename(file_path)))