From 81275bfa4f41e2066770087f3a33cad4227eab41 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 13 Jun 2019 23:56:59 +0200
Subject: rtfm-syntax refactor + heterogeneous multi-core support

---
 ci/install.sh | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'ci/install.sh')

diff --git a/ci/install.sh b/ci/install.sh
index 9000772..fea846b 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -1,10 +1,12 @@
 set -euxo pipefail
 
 main() {
-    if [ $TARGET != x86_64-unknown-linux-gnu ]; then
-        rustup target add $TARGET
+    if [ $TARGET = x86_64-unknown-linux-gnu ]; then
+        ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f )
     fi
 
+    rustup target add $TARGET
+
     mkdir qemu
     curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm
     chmod +x qemu/qemu-system-arm
-- 
cgit v1.2.3