diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build/gen-build.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/build/gen-build.py b/build/gen-build.py index 4874f0eb4..e1e7c93de 100755 --- a/build/gen-build.py +++ b/build/gen-build.py @@ -14,6 +14,7 @@ try: import configparser except ImportError: import ConfigParser as configparser +import codecs import getopt import string import glob @@ -212,7 +213,7 @@ def write_objects(f, legal_deps, h_deps, files): def extract_deps(fname, legal_deps): "Extract the headers this file includes." deps = { } - for line in open(fname).readlines(): + for line in codecs.open(fname, 'r', 'utf-8').readlines(): if line[:8] != '#include': continue inc = _re_include.match(line).group(1) |