From da05f9f1a24ca0ee93620df423148b359935cede Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 1 Aug 2017 23:37:32 -0500
Subject: [PATCH] fix ci/install.sh

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

diff --git a/ci/install.sh b/ci/install.sh
index 1894bff..b98519a 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -1,7 +1,7 @@
 set -euxo pipefail
 
 main() {
-    if [ $TARGET = thumbv7m-none-eabi ]; then
+    if [ $TARGET = thumbv7em-none-eabihf ]; then
         local vers=0.3.7
 
         cargo install --list | grep "xargo v$vers" || \
-- 
GitLab