diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2017-12-23 21:34:24 +0100 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2017-12-23 21:49:15 +0100 |
| commit | c94bd2d98d29cbf6d92f2f915e72d1555e282248 (patch) | |
| tree | b402f671a6eb52c4f09bb19d953f3c392b1b8407 /ci/script.sh | |
| parent | 8a396c51f2caaeca7ee0f81ef2f3c4f2f73d8df1 (diff) | |
add a Cargo feature, cm7-r0p1, to fix a Cortex-M7 BASEPRI erratum
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 af425da..222a1e0 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 } |