summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorNoel Grandin <noel.grandin@collabora.co.uk>2019-08-01 16:00:41 +0200
committerNoel Grandin <noel.grandin@collabora.co.uk>2019-08-01 20:08:08 +0200
commit555729bc497b2507407ecd2f0ae29a4e9fe36f70 (patch)
treec2a1ab35baf591fbc789a03f752ca2656a35f2a2 /bin
parent9496e3d2ac42ae6e5a0ab4299eb388c47a92effd (diff)
remove some resolved ui suppressions
and enhance the script to make finding the unused ones easier Change-Id: I937246e98d93fb999a23f2283b6794eaaa6dfa99 Reviewed-on: https://gerrit.libreoffice.org/76806 Tested-by: Jenkins Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>
Diffstat (limited to 'bin')
-rwxr-xr-xbin/gla11y9
1 files changed, 8 insertions, 1 deletions
diff --git a/bin/gla11y b/bin/gla11y
index f93121484648..0120326d29a2 100755
--- a/bin/gla11y
+++ b/bin/gla11y
@@ -249,6 +249,7 @@ widgets_labels = [
progname = os.path.basename(sys.argv[0])
suppressions = {}
+suppressions_to_line = {}
false_positives = {}
ids = {}
ids_dup = {}
@@ -1297,9 +1298,12 @@ def main():
if suppr is not None:
try:
supprfile = open(suppr, 'r')
+ line_no = 1;
for line in supprfile.readlines():
prefix = line.rstrip()
suppressions[prefix] = True
+ suppressions_to_line[prefix] = line_no
+ line_no = line_no + 1;
supprfile.close()
except IOError:
pass
@@ -1370,7 +1374,10 @@ def main():
n += 1
if n > 0:
- print("%s suppression%s unused" % (n, 's' if n > 1 else ''))
+ print("%s suppression%s unused:" % (n, 's' if n > 1 else ''))
+ for (suppr,unused) in suppressions.items():
+ if unused:
+ print(" %s:%s" % (suppressions_to_line[suppr], suppr))
if gen_supprfile is not None:
gen_supprfile.close()