From a104443ac1a3f811c83157d7b1dc296c787e7ae2 Mon Sep 17 00:00:00 2001 From: Leo Alt Date: Wed, 6 Oct 2021 11:52:16 +0200 Subject: [PATCH] Adjust errors script to also look for infos --- scripts/error_codes.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/error_codes.py b/scripts/error_codes.py index 9290211a2..fe9c73b04 100755 --- a/scripts/error_codes.py +++ b/scripts/error_codes.py @@ -125,7 +125,7 @@ def find_files(top_dir, sub_dirs, extensions): def find_ids_in_test_file(file_name): source = read_file(file_name) - pattern = r"^// (.*Error|Warning) \d\d\d\d:" + pattern = r"^// (.*Error|Warning|Info) \d\d\d\d:" return {m.group(0)[-5:-1] for m in re.finditer(pattern, source, flags=re.MULTILINE)}