ci fix for master

This commit is contained in:
Michael Droogleever
2018-07-29 20:18:39 +02:00
parent e5e1162c43
commit 4be31b3ab7

View File

@@ -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