summaryrefslogtreecommitdiffstats
path: root/ci/install.sh
diff options
context:
space:
mode:
Diffstat (limited to 'ci/install.sh')
-rw-r--r--ci/install.sh20
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