diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-18 10:31:31 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-18 10:31:31 +0200 |
| commit | 9897728709528a02545523bea72576abce89dc4c (patch) | |
| tree | 49619bfb8e3e09cccbc9c2bd1854abfe1618c8fd /ci | |
| parent | 81275bfa4f41e2066770087f3a33cad4227eab41 (diff) | |
add homogeneous multi-core support
Diffstat (limited to 'ci')
| -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) |
