From 784302280b23b8238433a3ec3a31f307610700f9 Mon Sep 17 00:00:00 2001 From: Sergey Markelov Date: Tue, 26 Dec 2023 13:36:48 -0700 Subject: [PATCH] tools: Write generated files with UNIX line endings on all platforms (see #3627) --- tools/file_util.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/file_util.py b/tools/file_util.py index 810aed9fd..cbddafd8c 100644 --- a/tools/file_util.py +++ b/tools/file_util.py @@ -31,7 +31,7 @@ def read_file(name, normalize=True): def write_file(name, data): """ Write a file. """ try: - with open(name, 'w', encoding='utf-8') as f: + with open(name, 'w', encoding='utf-8', newline='\n') as f: # write the data if sys.version_info.major == 2: f.write(data.decode('utf-8'))