From d48e533a57917eae6e7ab3c4f9aca5cc13ef4009 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 6 Apr 2022 09:24:20 +0200 Subject: [PATCH] remaining-gnu-error.py: fix an error when mismatche for real --- util/remaining-gnu-error.py | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/util/remaining-gnu-error.py b/util/remaining-gnu-error.py index ea745c658..0209c6e67 100755 --- a/util/remaining-gnu-error.py +++ b/util/remaining-gnu-error.py @@ -37,8 +37,12 @@ for d in data: a = a.replace(".pl", ".xpl") # the tests pass, we don't care anymore - if data[d][e] == "PASS" and a in list_of_files: - list_of_files.remove(a) + if data[d][e] == "PASS": + try: + list_of_files.remove(a) + except ValueError: + # Ignore the error + pass # Remove the factor tests and reverse the list (bigger first) tests = list(filter(lambda k: "factor" not in k, list_of_files))