From 587e1cc0d65677a36ee211d112e2f2eedf307be2 Mon Sep 17 00:00:00 2001
From: Federico Mena Quintero <federico@gnome.org>
Date: Mon, 24 Apr 2023 15:27:59 -0600
Subject: gen-coverage.sh: No need to ignore build.rs anymore

Now that https://github.com/mozilla/grcov/issues/845 is fixed, we can
remove the workaround.

Part-of: <https://gitlab.gnome.org/GNOME/librsvg/-/merge_requests/822>
---
 ci/gen-coverage.sh | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ci/gen-coverage.sh b/ci/gen-coverage.sh
index 0a4fd512..617bc111 100644
--- a/ci/gen-coverage.sh
+++ b/ci/gen-coverage.sh
@@ -14,7 +14,6 @@ call_grcov() {
     #       --source-dir .                         - toplevel source directory
     #       --prefix-dir ../../                    - prefix to remove from C source files, since they are relative to builddir
     #       --branch                               - compute branch coverage if possible
-    #       --ignore build.rs                      - https://github.com/mozilla/grcov/issues/845
     #       --ignore '**/build/markup5ever*'       - ignore generated code from dependencies
     #       --ignore '**/build/cssparser*'         - ignore generated code from dependencies
     #       --ignore 'cargo_cache/*'               - ignore code from dependencies
@@ -27,7 +26,6 @@ call_grcov() {
           --source-dir .                         \
           --prefix-dir ../../                    \
           --branch                               \
-          --ignore build.rs                      \
           --ignore '**/build/markup5ever*'       \
           --ignore '**/build/cssparser*'         \
           --ignore 'cargo_cache/*'               \
-- 
cgit v1.2.1