diff options
| -rwxr-xr-x | make-check-filter.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make-check-filter.rb b/make-check-filter.rb index 704f8bd6..535a240d 100755 --- a/make-check-filter.rb +++ b/make-check-filter.rb @@ -6,8 +6,8 @@ pats = '(' + ["^ CC", "^ CXX", - '^(re)?make\[', - "^(re)?make ", + '^(re|g)?make\[', + "^(re|g)?make ", "Making check in", '^[+]{2} WARN: ', '^m4/', # doesn't work always |