diff options
author | 2018-01-11 15:03:59 +0000 | |
---|---|---|
committer | 2018-01-11 15:03:59 +0000 | |
commit | dd12a6a14d2bb028c8da96cb510b67de31d28be4 (patch) | |
tree | f919be47a13e62412951bf17cb8a2f42c2cdba71 /ci/script.sh | |
parent | 8a396c51f2caaeca7ee0f81ef2f3c4f2f73d8df1 (diff) | |
parent | f695bdb7e9dab1af3964ddabccf9c738dd46d774 (diff) | |
download | rtic-dd12a6a14d2bb028c8da96cb510b67de31d28be4.tar.gz rtic-dd12a6a14d2bb028c8da96cb510b67de31d28be4.tar.zst rtic-dd12a6a14d2bb028c8da96cb510b67de31d28be4.zip |
Auto merge of #61 - japaric:cm7-r0p1, r=japaric
add a Cargo feature, cm7-r0p1, to fix a Cortex-M7 BASEPRI erratum
closes #53
alternative solution to #54
depends on japaric/cortex-m#72
Diffstat (limited to 'ci/script.sh')
-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 } |