diff --git a/contrib/filter-clang-warnings.py b/contrib/filter-clang-warnings.py index 0973d74d8d93..56dce5af3680 100755 --- a/contrib/filter-clang-warnings.py +++ b/contrib/filter-clang-warnings.py @@ -79,6 +79,8 @@ for line in lines: if i != -1: location = line[:i] message = line[i + len(token):] + if '/libffi/' in location or location.startswith('Makefile'): + continue if not skip_warning(location, message): total += 1 messages.add(line)