diff options
Diffstat (limited to '')
| -rw-r--r-- | ci/install.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh index efb48828..dd7de9e1 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -3,8 +3,8 @@ set -euxo pipefail main() { case $TARGET in thumbv*-none-eabi*) - cargo install --list | grep xargo || \ - cargo install xargo + 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 ;; |