diff options
Diffstat (limited to '')
| -rw-r--r-- | ci/script.sh | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ci/script.sh b/ci/script.sh index af425da5..222a1e02 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -7,7 +7,14 @@ main() { return fi - xargo build --target $TARGET + case $TARGET in + thumbv7em-none-eabi*) + xargo check --target $TARGET --features cm7-r0p1 + xargo check --target $TARGET --features cm7-r0p1 --examples + ;; + esac + + xargo check --target $TARGET xargo check --target $TARGET --examples } |