From b535fd7238e70ce021eef67422406e3348adb06f Mon Sep 17 00:00:00 2001 From: alex Date: Thu, 26 Aug 2021 09:10:41 +0100 Subject: [PATCH] don't comment 'previous declaration of' warnings (#400) --- tools/warnings_count/compare_warnings.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/tools/warnings_count/compare_warnings.py b/tools/warnings_count/compare_warnings.py index 789f1133ea..e6640f4525 100755 --- a/tools/warnings_count/compare_warnings.py +++ b/tools/warnings_count/compare_warnings.py @@ -43,6 +43,9 @@ def main(): with open(args.currentwarnings) as current: current = current.readlines() for newLine in new: + if "warning: previous declaration of" in newLine: + continue + if newLine not in current: if stderr: print(newLine.strip(), file=sys.stderr)