Fix install script with full build

2018-07-22 02:04:39 +02:00
parent a1fa694add
commit b81ea7156d
1 changed files with 14 additions and 6 deletions
--- 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