From bd95daf634d2a65a307f39164de692c1ea8162ac Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 6 Apr 2022 09:17:50 +0200 Subject: [PATCH] remaining-gnu-error.py: fix an error when mismatches --- util/remaining-gnu-error.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/util/remaining-gnu-error.py b/util/remaining-gnu-error.py index 5be7e784c..ea745c658 100755 --- a/util/remaining-gnu-error.py +++ b/util/remaining-gnu-error.py @@ -37,7 +37,7 @@ for d in data: a = a.replace(".pl", ".xpl") # the tests pass, we don't care anymore - if data[d][e] == "PASS": + if data[d][e] == "PASS" and a in list_of_files: list_of_files.remove(a) # Remove the factor tests and reverse the list (bigger first)