diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install.sh | 9 | ||||
| -rw-r--r-- | ci/script.sh | 8 |
2 files changed, 5 insertions, 12 deletions
diff --git a/ci/install.sh b/ci/install.sh index dd7de9e..8bc6a47 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,14 +1,7 @@ set -euxo pipefail main() { - case $TARGET in - thumbv*-none-eabi*) - cargo install --list | grep 'xargo v0.3.8' || \ - cargo install xargo --vers 0.3.8 - rustup component list | grep 'rust-src.*installed' || \ - rustup component add rust-src - ;; - esac + . } main diff --git a/ci/script.sh b/ci/script.sh index 222a1e0..9e91aad 100644 --- a/ci/script.sh +++ b/ci/script.sh @@ -9,13 +9,13 @@ main() { case $TARGET in thumbv7em-none-eabi*) - xargo check --target $TARGET --features cm7-r0p1 - xargo check --target $TARGET --features cm7-r0p1 --examples + cargo check --target $TARGET --features cm7-r0p1 + cargo check --target $TARGET --features cm7-r0p1 --examples ;; esac - xargo check --target $TARGET - xargo check --target $TARGET --examples + cargo check --target $TARGET + cargo check --target $TARGET --examples } main |