diff options
| author | Jorge Aparicio <jorge@japaric.io> | 2019-06-13 23:56:59 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io> | 2019-06-13 23:56:59 +0200 |
| commit | 81275bfa4f41e2066770087f3a33cad4227eab41 (patch) | |
| tree | c779a68e7cecf4c2613c7593376f980cea5dbc05 /ci/install.sh | |
| parent | fafeeb27270ef24fc3852711c6032f65aa7dbcc0 (diff) | |
rtfm-syntax refactor + heterogeneous multi-core support
Diffstat (limited to 'ci/install.sh')
| -rw-r--r-- | ci/install.sh | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/ci/install.sh b/ci/install.sh index 9000772..fea846b 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,10 +1,12 @@ set -euxo pipefail main() { - if [ $TARGET != x86_64-unknown-linux-gnu ]; then - rustup target add $TARGET + if [ $TARGET = x86_64-unknown-linux-gnu ]; then + ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.2 -f ) fi + rustup target add $TARGET + mkdir qemu curl -L https://github.com/japaric/qemu-bin/raw/master/14.04/qemu-system-arm-2.12.0 > qemu/qemu-system-arm chmod +x qemu/qemu-system-arm |