From 355d242e7af74b73531907ca00fd0fa04f5a1b23 Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Sat, 25 Mar 2023 08:53:40 +0100 Subject: [PATCH] python: simplify the code a bit --- 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 9a6bd91db..eda37094d 100755 --- a/util/remaining-gnu-error.py +++ b/util/remaining-gnu-error.py @@ -59,7 +59,7 @@ for d in data: sys.exit(1) # if it is SKIP or ERROR, show it - if data[d][e] == "SKIP" or data[d][e] == "ERROR": + if data[d][e] in ("SKIP", "ERROR"): list_of_files.remove(a) error_or_skip_tests.append(a)