mirror of
https://gitlab.freedesktop.org/cairo/cairo.git
synced 2026-05-16 09:38:05 +02:00
744f4d75b3
Later we'll add one coverage job per backend, and aggregate all of the results at the end for the coverage report.
14 lines
644 B
Bash
14 lines
644 B
Bash
#!/bin/sh
|
|
|
|
set -eux -o pipefail
|
|
|
|
mkdir -p public
|
|
grcov _build --source-dir ./ --prefix-dir ../ --output-type cobertura --branch --ignore-not-existing -o public/coverage.xml
|
|
grcov _build --source-dir ./ --prefix-dir ../ --output-type html --branch --ignore-not-existing -o public/coverage
|
|
|
|
# Print "Coverage: 42.42" so .gitlab-ci.yml will pick it up with a regex
|
|
#
|
|
# We scrape this from the HTML report, not the JSON summary, because coverage.json
|
|
# uses no decimal places, just something like "42%".
|
|
|
|
grep -Eo 'abbr title.* %' public/coverage/index.html | head -n 1 | grep -Eo '[0-9.]+ %' | grep -Eo '[0-9.]+' | awk '{ print "Coverage:", $1 }'
|