diff options
| author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2020-06-02 20:48:34 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-02 20:48:34 +0000 |
| commit | 4f769de5a4bb38f951bd2e5acb87019f0235f675 (patch) | |
| tree | 9c8ff1689d1b9fb507188ddae562e293afeae938 | |
| parent | 7406f77a4ec163165fa2f89e8e9351b792e305e3 (diff) | |
| parent | f6bce2110fe9ef58a20a90f8679b82d1f4fead35 (diff) | |
Merge #317
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>
| -rw-r--r-- | .travis.yml | 1 | ||||
| -rw-r--r-- | ci/install.sh | 9 |
2 files changed, 8 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index 1bb2505..c265130 100644 --- a/.travis.yml +++ b/.travis.yml @@ -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 diff --git a/ci/install.sh b/ci/install.sh index 5470122..624efd8 100644 --- a/ci/install.sh +++ b/ci/install.sh @@ -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 |