diff options
Diffstat (limited to 'ci/script.sh')
| -rw-r--r-- | ci/script.sh | 16 |
1 files changed, 13 insertions, 3 deletions
diff --git a/ci/script.sh b/ci/script.sh index 0cf0da0..e017b54 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -1,15 +1,25 @@ set -euxo pipefail main() { + cargo check --target $TARGET + + if [ $TRAVIS_RUST_VERSION = nightly ]; then + cargo check --target $TARGET --features inline-asm + fi + case $TARGET in thumbv7em-none-eabi*) cargo check --target $TARGET --features cm7-r0p1 - cargo check --target $TARGET + + if [ $TRAVIS_RUST_VERSION = nightly ]; then + cargo check --target $TARGET --features 'cm7-r0p1 inline-asm' + fi ;; + thumbv*-none-eabi*) - cargo check --target $TARGET ;; - *) + + x86_64-unknown-linux-gnu) cargo test --target $TARGET ;; esac |