diff options
| author | Federico Mena Quintero <federico@gnome.org> | 2022-06-07 14:29:50 -0500 |
|---|---|---|
| committer | Federico Mena Quintero <federico@gnome.org> | 2022-06-07 15:52:52 -0500 |
| commit | f551682deaf02e40b9422e3a140387ca44b2edd3 (patch) | |
| tree | e89b8b4339380407e4c898d3e0e653f00bd08b0c /ci | |
| parent | cda6f02d716211ee61aaa8ed7e865df567d19147 (diff) | |
| download | at-spi2-core-f551682deaf02e40b9422e3a140387ca44b2edd3.tar.gz | |
Download and build grcov from my accessible-html branch
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install-grcov.sh | 16 |
1 files changed, 7 insertions, 9 deletions
diff --git a/ci/install-grcov.sh b/ci/install-grcov.sh index dd182fd3..ba477024 100644 --- a/ci/install-grcov.sh +++ b/ci/install-grcov.sh @@ -1,14 +1,12 @@ -#!/bin/sh +source ./ci/env.sh set -eu -GRCOV_VERSION=v0.8.7 -GRCOV_ARCH=x86_64-unknown-linux-gnu +REPOSITORY=https://github.com/federicomenaquintero/grcov +BRANCH=accessible-html -GRCOV_URL=https://github.com/mozilla/grcov/releases/download/$GRCOV_VERSION/grcov-$GRCOV_ARCH.tar.bz2 +git clone --depth 1 --branch $BRANCH $REPOSITORY +cd grcov +cargo build --release -wget $GRCOV_URL -tar xvf grcov-x86_64-unknown-linux-gnu.tar.bz2 -chmod 755 grcov - -mv grcov /usr/local/bin +cp target/release/grcov /usr/local/bin/ |