From e894731ccd3ea3dedcd49786d25c6e18d91de9cb Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Thu, 12 Jul 2018 01:46:20 -0500
Subject: [PATCH] add thumb targets to ci

---
 library/stdarch/.travis.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/library/stdarch/.travis.yml b/library/stdarch/.travis.yml
index 29b02cc7100d..0746da39493b 100644
--- a/library/stdarch/.travis.yml
+++ b/library/stdarch/.travis.yml
@@ -42,6 +42,10 @@ matrix:
         - cat wasm.wat
         - grep current_memory wasm.wat
         - grep grow_memory wasm.wat
+    - env: TARGET=thumbv6m-none-eabi NOSTD=1
+    - env: TARGET=thumbv7m-none-eabi NOSTD=1
+    - env: TARGET=thumbv7em-none-eabi NOSTD=1
+    - env: TARGET=thumbv7em-none-eabihf NOSTD=1
     - env: DOCUMENTATION
       install: true
       script: ci/dox.sh
@@ -74,6 +78,8 @@ script:
     if [ "$NORUN" == "1" ]; then
       cargo build --target=$TARGET -p coresimd -p stdsimd --manifest-path crates/stdsimd/Cargo.toml
       cargo build --release --target=$TARGET -p coresimd -p stdsimd --manifest-path crates/stdsimd/Cargo.toml
+    elif [ "$NOSTD" == "1" ]; then
+      cargo build --target=$TARGET -p coresimd --manifest-path crates/stdsimd/Cargo.toml
     else
       ci/run-docker.sh $TARGET $FEATURES
     fi