From bfa56e12f7a3ec3734e329f00d98ce9a953fce6d Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Mon, 16 Apr 2018 21:44:02 +0200
Subject: [PATCH] install rust-std component

---
 ci/install.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ci/install.sh b/ci/install.sh
index e41f9c4c5f..3c41921194 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -1,7 +1,9 @@
 set -euxo pipefail
 
 main() {
-    :
+    if [ $TARGET != x86_64-unknown-linux-gnu ]; then
+        rustup target add $TARGET
+    fi
 }
 
 main