diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/check_whitespace_token.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/check_whitespace_token.py b/scripts/check_whitespace_token.py index ffa1e8d7..507875c7 100644 --- a/scripts/check_whitespace_token.py +++ b/scripts/check_whitespace_token.py @@ -35,6 +35,10 @@ def check_file(path): print(f'{path}:{linenumber}') return False + if 'Whitespace' in token and value != '': + print(f'{path}:{linenumber} - ' + 'Incorrectly marked as whitespace') + return False return True |