diff options
Diffstat (limited to 'ci/install.sh')
-rw-r--r-- | ci/install.sh | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/ci/install.sh b/ci/install.sh deleted file mode 100644 index dc065f0..0000000 --- a/ci/install.sh +++ /dev/null @@ -1,20 +0,0 @@ -set -exo pipefail - -main() { - rustup component add rust-src - SYSROOT=$(rustc --print sysroot) - if [[ ! "$SYSROOT" =~ "$TARGET" ]]; then - rustup target add $TARGET - 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 |