diff options
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 4 |
1 files changed, 3 insertions, 1 deletions
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) |