From 2e996e59f30af4b4738a550086781687d612980b Mon Sep 17 00:00:00 2001 From: Sylvestre Ledru Date: Wed, 6 Apr 2022 11:03:27 +0200 Subject: [PATCH] remaining-gnu-error.py: add missing slash --- 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 5dbe120d4..edfb2a846 100755 --- a/util/remaining-gnu-error.py +++ b/util/remaining-gnu-error.py @@ -30,7 +30,7 @@ for d in data: for e in data[d]: # Not all the tests are .sh files, rename them if not. script = e.replace(".log", ".sh") - a = f"{base}{d}{script}" + a = f"{base}{d}/{script}" if not os.path.exists(a): a = a.replace(".sh", ".pl") if not os.path.exists(a):