From 4be31b3ab708a9dd6bdd073b185ea4992b634c85 Mon Sep 17 00:00:00 2001
From: Michael Droogleever <droogmic@gmail.com>
Date: Sun, 29 Jul 2018 20:18:39 +0200
Subject: [PATCH] ci fix for master

---
 ci/install.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/ci/install.sh b/ci/install.sh
index b9dee7a..11150c7 100644
--- a/ci/install.sh
+++ b/ci/install.sh
@@ -13,7 +13,12 @@ main() {
     fi
 
     if [ "$(mdbook -V)" != "mdbook v0.1.8" ]; then
-        cargo install --target x86_64-unknown-linux-gnu --version 0.1.8 mdbook
+        cargo install --target x86_64-unknown-linux-gnu --version 0.1.8 mdbook \
+        || true
+    fi
+
+    if [ "$(mdbook -V)" != "mdbook v0.1.8" ]; then
+        cargo install --force --target x86_64-unknown-linux-gnu --version 0.1.8 mdbook
     fi
 
     rustup target add thumbv6m-none-eabi