diff options
author | Federico Mena Quintero <federico@gnome.org> | 2023-04-24 15:27:59 -0600 |
---|---|---|
committer | Federico Mena Quintero <federico@gnome.org> | 2023-04-24 15:27:59 -0600 |
commit | 587e1cc0d65677a36ee211d112e2f2eedf307be2 (patch) | |
tree | 7ef65a8ffbbdfbb22f6fc0350d9216ba2a44e7ab | |
parent | 55cfc52d7185d183f3e9fc8e5e41828f0f3461b6 (diff) | |
download | librsvg-587e1cc0d65677a36ee211d112e2f2eedf307be2.tar.gz |
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>
-rw-r--r-- | ci/gen-coverage.sh | 2 |
1 files changed, 0 insertions, 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/*' \ |