Verification; Tweak itc test script, avoid duplicate linenumbers

2020-01-12 10:53:44 +01:00 · 2020-01-12 10:53:44 +01:00 · d1f3ecec12
parent 55ea06354b
commit d1f3ecec12
1 changed files with 3 additions and 1 deletions
--- a/test/verify/itc.py
+++ b/test/verify/itc.py
@ -52,7 +52,9 @@ def check(filename):
        res = re.match(w, line)
        if res is None:
            continue
-        ret.append(int(res.group(1)))
+        linenr = int(res.group(1))
+        if linenr not in ret:
+            ret.append(linenr)
    return ret

 wanted = get_error_lines(TESTFILE)