From 9897728709528a02545523bea72576abce89dc4c Mon Sep 17 00:00:00 2001
From: Jorge Aparicio <jorge@japaric.io>
Date: Tue, 18 Jun 2019 10:31:31 +0200
Subject: add homogeneous multi-core support

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

(limited to 'ci/script.sh')

diff --git a/ci/script.sh b/ci/script.sh
index a6485cf..1b3d561 100644
--- a/ci/script.sh
+++ b/ci/script.sh
@@ -43,7 +43,7 @@ main() {
             cargo test --test multi --features heterogeneous --target $T
 
             # multi-core compile-pass tests
-            pushd mc
+            pushd heterogeneous
             local exs=(
                 smallest
                 x-init-2
@@ -91,6 +91,8 @@ main() {
         cargo check --target $T --examples --features __v7
     fi
 
+    cargo check -p homogeneous --target $T --examples
+
     # run-pass tests
     case $T in
         thumbv6m-none-eabi | thumbv7m-none-eabi)
-- 
cgit v1.2.3