diff options
| author | Diego Barrios Romero <eldruin@gmail.com> | 2018-11-14 19:50:08 +0100 |
|---|---|---|
| committer | Diego Barrios Romero <eldruin@gmail.com> | 2018-11-14 19:50:08 +0100 |
| commit | 1251abd4739cf3e91443201e51c43864c0c50138 (patch) | |
| tree | a9437c894e5b4c8b603217654a6b8c5650e10c0b /ci | |
| parent | 9b1f124c5b872d7dbcc62fdd03d22dc4941f37e2 (diff) | |
| download | ads1x1x-async-1251abd4739cf3e91443201e51c43864c0c50138.tar.gz ads1x1x-async-1251abd4739cf3e91443201e51c43864c0c50138.tar.xz ads1x1x-async-1251abd4739cf3e91443201e51c43864c0c50138.zip | |
move installing grcov to install script
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ci/install.sh b/ci/install.sh index 42c96b4..dc065f0 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,4 +1,4 @@ -set -euxo pipefail +set -exo pipefail main() { rustup component add rust-src @@ -8,6 +8,13 @@ main() { else echo "Target $TARGET is already installed" fi + if [ ! -z $COVERAGE ]; then + if ! [ -x "$(command -v grcov)" ]; then + cargo install grcov + else + echo "grcov is already installed" + fi + fi } main |