Merge 0d390870488e113b7272a349803b7d37dae3e7c2 into 67cc66080d64e3fa5124fe57ed0cf15e2cecfdeb

This commit is contained in:
kuzkry 2020-03-25 20:49:50 +08:00 committed by GitHub
commit 86c08af952
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -843,7 +843,7 @@ def main(argv):
if output_file_path == '-': if output_file_path == '-':
print(output_str,) print(output_str,)
else: 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'// This file was GENERATED by command:\n')
output_file.write(u'// %s %s\n' % output_file.write(u'// %s %s\n' %
(os.path.basename(__file__), os.path.basename(file_path))) (os.path.basename(__file__), os.path.basename(file_path)))