diff --git a/ci/install.sh b/ci/install.sh index 9df00ea..b9dee7a 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -1,12 +1,20 @@ set -euxo pipefail main() { - curl -LSfs https://japaric.github.io/trust/install.sh | \ - sh -s -- \ - --force \ - --git rust-lang-nursery/mdBook \ - --tag v0.1.8 \ - --target x86_64-unknown-linux-musl + + if [ "$(mdbook -V)" != "mdbook v0.1.8" ]; then + curl -LSfs https://japaric.github.io/trust/install.sh | \ + sh -s -- \ + --force \ + --git rust-lang-nursery/mdBook \ + --tag v0.1.8 \ + --target x86_64-unknown-linux-musl \ + || true + fi + + if [ "$(mdbook -V)" != "mdbook v0.1.8" ]; then + cargo install --target x86_64-unknown-linux-gnu --version 0.1.8 mdbook + fi rustup target add thumbv6m-none-eabi