diff options
Diffstat (limited to 'ci')
| -rw-r--r-- | ci/install.sh | 11 | ||||
| -rw-r--r-- | ci/script.sh | 8 |
2 files changed, 7 insertions, 12 deletions
diff --git a/ci/install.sh b/ci/install.sh index dd7de9e..3c41921 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,14 +1,9 @@ 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 + if [ $TARGET != x86_64-unknown-linux-gnu ]; then + rustup target add $TARGET + fi } 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 |