diff options
| author | Diego Barrios Romero <eldruin@gmail.com> | 2018-11-20 18:37:29 +0100 |
|---|---|---|
| committer | Diego Barrios Romero <eldruin@gmail.com> | 2018-11-20 18:37:29 +0100 |
| commit | 23f62d84d1232b7ef5ec02483a8090aa5c336fa6 (patch) | |
| tree | eac297767f552302887ef75ccbb62fb01378637e /ci/install.sh | |
| parent | 065e5eab4a0278b77bd0b14167a662776f491921 (diff) | |
| download | ads1x1x-async-23f62d84d1232b7ef5ec02483a8090aa5c336fa6.tar.gz ads1x1x-async-23f62d84d1232b7ef5ec02483a8090aa5c336fa6.tar.xz ads1x1x-async-23f62d84d1232b7ef5ec02483a8090aa5c336fa6.zip | |
Use centralized CI
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 |