diff options
| author | Neil <nyamatongwe@gmail.com> | 2023-05-14 09:44:14 +1000 |
|---|---|---|
| committer | Neil <nyamatongwe@gmail.com> | 2023-05-14 09:44:14 +1000 |
| commit | 2a845c450413e5b0a4d2dade14b012a1800f337a (patch) | |
| tree | 33695a73919c2c6adb28491fcd4a6d2fe3a6e676 /scripts | |
| parent | 002dc0e7fca8824a03bc0a11ac6e5c3aef6a54bf (diff) | |
| download | scintilla-mirror-2a845c450413e5b0a4d2dade14b012a1800f337a.tar.gz | |
Replace CP-437 with ISO-8859-1 as neutral encoding as more common and standard.
Diffstat (limited to 'scripts')
| -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): |