317: Use statically compiled mdbook r=perlindgren a=AfoHT

Instead of building mdbook, get a precompiled version

Co-authored-by: Henrik Tjäder <henrik@tjaders.com>
This commit is contained in:
bors[bot] 2020-06-02 20:48:34 +00:00 committed by GitHub
commit 4f769de5a4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 8 additions and 2 deletions

View file

@ -37,6 +37,7 @@ before_install:
install:
- bash ci/install.sh
- export PATH="$PATH:$PWD/qemu"
- export PATH="$PATH:$PWD/mdbook-bin"
script:
- bash ci/script.sh

View file

@ -15,7 +15,6 @@ main() {
fi
rustup target add $TARGET
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
@ -23,7 +22,13 @@ main() {
pip install linkchecker --user
fi
install_crate mdbook 0.3.1
# Download binary mdbook and add to path
curl -L https://github.com/rust-lang/mdBook/releases/download/v0.3.1/mdbook-v0.3.1-x86_64-unknown-linux-gnu.tar.gz > mdbook.tar.gz
tar -xf mdbook.tar.gz
mkdir -p mdbook-bin
mv mdbook mdbook-bin/
#install_crate mdbook 0.3.1
}
main