contrib: make warnings unique in filter-clang-warnings.py

contrib/ChangeLog:

	* filter-clang-warnings.py: Print each warning only one time.

diff --git a/contrib/filter-clang-warnings.py b/contrib/filter-clang-warnings.py
index c426bce5eb5291c79e76582050ccf6e8cd95a13e..0973d74d8d93d731ca2793f9256bb35175fd28bb 100755 (executable)
--- a/contrib/filter-clang-warnings.py
+++ b/contrib/filter-clang-warnings.py
@@ -72,7 +72,7 @@ args = parser.parse_args()
 
 lines = [line.strip() for line in open(args.log)]
 total = 0
-messages = []
+messages = set()
 for line in lines:
     token = ': warning: '
     i = line.find(token)
@@ -81,7 +81,7 @@ for line in lines:
         message = line[i + len(token):]
         if not skip_warning(location, message):
             total += 1
-            messages.append(line)
+            messages.add(line)
 
 for line in sorted(messages):
     print(line)