diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-08-21 12:46:06 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-08-21 12:46:06 +0200 |
| commit | da675dc35f373a38ab97cdc9813162e9d87507f9 (patch) | |
| tree | 8d66fdaa47a27efaf4874e414ebec692be745b5b /ci/install.sh | |
| parent | 996bdf8f0c18fe86f2649dd43f7019c4f6ad1bb2 (diff) | |
ci: install some thumb targets on x86
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ci/install.sh b/ci/install.sh index ed13cc1..6f8d815 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -3,6 +3,7 @@ set -euxo pipefail main() { if [ $TARGET = x86_64-unknown-linux-gnu ]; then ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f ) + rustup target add thumbv6m-none-eabi thumbv7m-none-eabi fi rustup target add $TARGET |