Extract grcov download script

This commit is contained in:
Michael Vines
2018-12-17 13:07:44 -08:00
parent 437b62c4d9
commit c71d5a111e
2 changed files with 17 additions and 12 deletions

16
scripts/fetch-grcov.sh Executable file
View File

@ -0,0 +1,16 @@
#!/usr/bin/env bash
set -e
if [[ ! -x ./grcov ]]; then
uname=$(uname | tr '[:upper:]' '[:lower:]')
if [[ $uname = darwin ]]; then
uname="osx"
fi
uname_m=$(uname -m | tr '[:upper:]' '[:lower:]')
name=grcov-${uname}-${uname_m}.tar.bz2
wget "https://github.com/mozilla/grcov/releases/download/v0.3.2/$name"
tar xjf "$name"
fi
ls -lh grcov