diff options
| -rw-r--r-- | scripts/dev/ci/problemmatchers.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/scripts/dev/ci/problemmatchers.py b/scripts/dev/ci/problemmatchers.py index 5756dd41b..e492c714b 100644 --- a/scripts/dev/ci/problemmatchers.py +++ b/scripts/dev/ci/problemmatchers.py @@ -160,6 +160,10 @@ MATCHERS = { "regexp": r'^\033\[1m\033\[31m([^\033]*)\033\[0m:(\d+): .*', "file": 1, "line": 2, + }, + { + "regexp": r'^\033\[1m\033\[31mE\s+([^\033]*)\033\[0m$', + "message": 1, } ], }, |