diff options
Diffstat (limited to 'utils/check_sources.py')
| -rwxr-xr-x | utils/check_sources.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/utils/check_sources.py b/utils/check_sources.py index 8a115c71a..361fcfc14 100755 --- a/utils/check_sources.py +++ b/utils/check_sources.py @@ -64,9 +64,9 @@ def check_style_and_encoding(fn, lines): encoding = co.group(1) if line.strip().startswith('#'): continue - m = not_ix_re.search(line) - if m: - yield lno+1, '"' + m.group() + '"' + #m = not_ix_re.search(line) + #if m: + # yield lno+1, '"' + m.group() + '"' if is_const_re.search(line): yield lno+1, 'using == None/True/False' try: |