From 033acdf03da4a77d69fb58f7cab97dd1073fb83e Mon Sep 17 00:00:00 2001 From: tianzedavid Date: Thu, 13 Feb 2025 18:55:31 +0800 Subject: [PATCH] chore: remove redundant word Signed-off-by: tianzedavid --- test/lint/lint-files.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/lint/lint-files.py b/test/lint/lint-files.py index 86fe727b065..28d029407a0 100755 --- a/test/lint/lint-files.py +++ b/test/lint/lint-files.py @@ -111,7 +111,7 @@ def check_source_filenames(files) -> int: for filename in filenames: if not filename_regex.match(filename) and not filename_exception_regex.match(filename): print( - f"""File {repr(filename)} does not not match the allowed source filename regexp ('{ALLOWED_SOURCE_FILENAME_REGEXP}'), or the exception regexp ({ALLOWED_SOURCE_FILENAME_EXCEPTION_REGEXP}).""" + f"""File {repr(filename)} does not match the allowed source filename regexp ('{ALLOWED_SOURCE_FILENAME_REGEXP}'), or the exception regexp ({ALLOWED_SOURCE_FILENAME_EXCEPTION_REGEXP}).""" ) failed_tests += 1 return failed_tests