From a04340a742997476ca5f728b82c93628940e3f59 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Marco=20Trevisan=20=28Trevi=C3=B1o=29?= Date: Fri, 2 Aug 2024 11:00:44 +0200 Subject: [PATCH] ci/fixup-cov-paths: Ensure path replacement still works Without doing this we were replacing the paths with the glib subfolder, pointing to the wrong files. --- .gitlab-ci/fixup-cov-paths.py | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitlab-ci/fixup-cov-paths.py b/.gitlab-ci/fixup-cov-paths.py index 5fb77c64a..98795fba3 100644 --- a/.gitlab-ci/fixup-cov-paths.py +++ b/.gitlab-ci/fixup-cov-paths.py @@ -13,6 +13,7 @@ def main(argv): print("cov-fixup:", path) text = io.open(path, "r", encoding="utf-8").read() text = text.replace("\\\\", "/") + text = text.replace("\\", "/") old_root = re.search(":(.*?)/glib/.*?$", text, re.MULTILINE).group(1) new_root = os.path.dirname(os.getcwd()) if old_root != new_root: