diff options
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 11 |
1 files changed, 3 insertions, 8 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 |