diff options
Diffstat (limited to 'contrib/filter-clang-warnings.py')
| -rwxr-xr-x | contrib/filter-clang-warnings.py | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/filter-clang-warnings.py b/contrib/filter-clang-warnings.py index 0973d74..56dce5a 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) |