diff options
| author | Daniel Mensinger <daniel@mensinger-ka.de> | 2021-06-22 22:59:16 +0200 |
|---|---|---|
| committer | Daniel Mensinger <daniel@mensinger-ka.de> | 2021-06-29 11:28:08 +0200 |
| commit | 3e396b3782813d36d46195564cd0e111422bcaf5 (patch) | |
| tree | f315e990f71984745fcb8f22dac2f0e400fecadb /tools/gen_data.py | |
| parent | 28175bbee2c111cf41b80c97bbadd7dbabaa8990 (diff) | |
| download | meson-3e396b3782813d36d46195564cd0e111422bcaf5.tar.gz | |
fix: Always explicitly set encoding for text files (fixes #8263)
Diffstat (limited to 'tools/gen_data.py')
| -rwxr-xr-x | tools/gen_data.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/gen_data.py b/tools/gen_data.py index 9affc660f..b1c62e035 100755 --- a/tools/gen_data.py +++ b/tools/gen_data.py @@ -107,7 +107,7 @@ def main() -> int: def write_once(self, path: Path) -> None: if not path.exists(): - path.write_text(self.data) + path.write_text(self.data, encoding='utf-8') def write_to_private(self, env: 'Environment') -> Path: out_file = Path(env.scratch_dir) / 'data' / self.path.name @@ -133,7 +133,7 @@ def main() -> int: ''') print(f'Updating {out_file}') - out_file.write_text(data) + out_file.write_text(data, encoding='utf-8') return 0 if __name__ == '__main__': |