diff options
| -rw-r--r-- | ci/install.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/ci/install.sh b/ci/install.sh index 20bdd509..0d5e2218 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -8,8 +8,10 @@ main() { 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 + + # install mdbook + curl -LSfs https://japaric.github.io/trust/install.sh | \ + sh -s -- --git rust-lang-nursery/mdbook --tag v0.2.1 } -if [ $TRAVIS_BRANCH != master ] || [ $TRAVIS_PULL_REQUEST != false ]; then - main -fi +main |