manage an potential error in util/remaining-gnu-error.py when GNU isn't up to date

This commit is contained in:
Sylvestre Ledru 2023-03-25 08:48:33 +01:00
parent 76793d523d
commit f8e0a73fb5

View file

@ -8,6 +8,7 @@ import urllib
import os
import glob
import json
import sys
base = "../gnu/tests/"
urllib.request.urlretrieve(
@ -51,7 +52,11 @@ for d in data:
# the tests pass, we don't care anymore
if data[d][e] == "PASS":
list_of_files.remove(a)
try:
list_of_files.remove(a)
except ValueError:
print("Could not find test '%s'. Maybe update the GNU repo?" % a)
sys.exit(1)
# if it is SKIP or ERROR, show it
if data[d][e] == "SKIP" or data[d][e] == "ERROR":