From e61ffd96840c8a04b0556746fcfe8d7704ef6780 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Matth=C3=A4us=20G=2E=20Chajdas?= Date: Sun, 5 Mar 2023 17:37:08 +0100 Subject: Improve the whitespace checker. Check both ways now: If a token should be whitespace, but also if a token was incorrectly marked as whitespace. --- scripts/check_whitespace_token.py | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'scripts') 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 -- cgit v1.2.1