From da675dc35f373a38ab97cdc9813162e9d87507f9 Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Wed, 21 Aug 2019 12:46:06 +0200
Subject: [PATCH] ci: install some thumb targets on x86

---
 ci/install.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/install.sh b/ci/install.sh
index ed13cc1650..6f8d815142 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -3,6 +3,7 @@ set -euxo pipefail
 main() {
     if [ $TARGET = x86_64-unknown-linux-gnu ]; then
         ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f )
+        rustup target add thumbv6m-none-eabi thumbv7m-none-eabi
     fi
 
     rustup target add $TARGET