diff options
| -rwxr-xr-x | tools/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure.py b/tools/configure.py index 0e5d0154..3820bcd8 100755 --- a/tools/configure.py +++ b/tools/configure.py @@ -238,7 +238,7 @@ def main(): project = Project(args.version, platform=platform, delinks_json=delinks_json) - with build_ninja_path.open("w") as file: + with build_ninja_path.open("w", encoding="utf-8") as file: n = ninja_syntax.Writer(file) n.rule( |