diff options
Diffstat (limited to 'scripts/HeaderCheck.py')
| -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 e24cfa1a9..2c953bf30 100644 --- a/scripts/HeaderCheck.py +++ b/scripts/HeaderCheck.py @@ -16,11 +16,11 @@ def HeaderFromIncludeLine(s): def ExtractHeaders(file): with file.open(encoding="cp437") as infile: - return [HeaderFromIncludeLine(l) for l in infile if IsHeader(l)] + return [HeaderFromIncludeLine(h) for h in infile if IsHeader(h)] def ExtractWithPrefix(file, prefix): with file.open(encoding="cp437") as infile: - return [l.strip()[len(prefix):] for l in infile if l.startswith(prefix)] + return [s.strip()[len(prefix):] for s in infile if s.startswith(prefix)] def ExcludeName(name, excludes): return any(exclude in name for exclude in excludes) |