diff --git a/ci/install.sh b/ci/install.sh index 1894bffe864dea064a1e1ed9ad088841073df5bb..b98519a78b5fe517ce33d5ef6b5cf2cf41b0d9df 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,7 +1,7 @@ set -euxo pipefail main() { - if [ $TARGET = thumbv7m-none-eabi ]; then + if [ $TARGET = thumbv7em-none-eabihf ]; then local vers=0.3.7 cargo install --list | grep "xargo v$vers" || \