diff options
| author |  Jorge Aparicio <jorge@japaric.io>
| 2019-09-15 21:58:03 +0200 |
|---|---|---|
| committer | Jorge Aparicio <jorge@japaric.io>
| 2019-09-15 21:58:03 +0200 |
| commit | 0f704459c62b8872a80ce371ea23492a5df34e7d (patch) | |
| tree | d5da1cb0f9b3fef2d0a46511889726cdcf556a6d /ci/install.sh | |
| parent | 7039f6291119db96c330f0f57a90cfc16d91cf04 (diff) | |
| download | rtic-0f704459c62b8872a80ce371ea23492a5df34e7d.tar.gz rtic-0f704459c62b8872a80ce371ea23492a5df34e7d.tar.zst rtic-0f704459c62b8872a80ce371ea23492a5df34e7d.zip | |
faster doc builds and fix redirect on 0.4
Diffstat (limited to '')
| -rw-r--r-- | ci/install.sh | 23 |
1 files changed, 13 insertions, 10 deletions
diff --git a/ci/install.sh b/ci/install.sh index 6f8d8151..aa701205 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,22 +1,25 @@ 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 + # these are not needed for doc builds + if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then + if [ $TARGET = x86_64-unknown-linux-gnu ]; then + ( cd .. && cargo install microamp-tools --version 0.1.0-alpha.3 -f ) + rustup target add thumbv6m-none-eabi thumbv7m-none-eabi + fi + + rustup target add $TARGET - 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 - 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 + pip install linkchecker --user + fi # install mdbook curl -LSfs https://japaric.github.io/trust/install.sh | \ sh -s -- --git rust-lang-nursery/mdbook --tag v0.3.1 - - pip install linkchecker --user } main |