diff options
| -rw-r--r-- | scripts/HeaderCheck.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/HeaderCheck.py b/scripts/HeaderCheck.py index 2c953bf30..1fdb92ff3 100644 --- a/scripts/HeaderCheck.py +++ b/scripts/HeaderCheck.py @@ -15,11 +15,11 @@ def HeaderFromIncludeLine(s): return s.strip()[1:].strip()[7:].strip() def ExtractHeaders(file): - with file.open(encoding="cp437") as infile: + with file.open(encoding="iso-8859-1") as infile: return [HeaderFromIncludeLine(h) for h in infile if IsHeader(h)] def ExtractWithPrefix(file, prefix): - with file.open(encoding="cp437") as infile: + with file.open(encoding="iso-8859-1") as infile: return [s.strip()[len(prefix):] for s in infile if s.startswith(prefix)] def ExcludeName(name, excludes): |