From 23f62d84d1232b7ef5ec02483a8090aa5c336fa6 Mon Sep 17 00:00:00 2001
From: Diego Barrios Romero <eldruin@gmail.com>
Date: Tue, 20 Nov 2018 18:37:29 +0100
Subject: Use centralized CI

---
 ci/install.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100644 ci/install.sh

(limited to 'ci/install.sh')

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
-- 
cgit v1.2.3-54-g00ecf