diff options
| author | Mark Mansi <markm@cs.wisc.edu> | 2019-09-05 18:58:16 -0500 |
|---|---|---|
| committer | Who? Me?! <mark-i-m@users.noreply.github.com> | 2019-09-05 19:04:33 -0500 |
| commit | 6e8f64d25183c05d847ed985664e27068a7aaa5a (patch) | |
| tree | a0c823cc7952cc6187cc46a4569f8aefe2da308d /src/doc/rustc-dev-guide/ci | |
| parent | 0612ebfbf6d4116a2812864dcf9ce5f0f16d1b23 (diff) | |
| download | rust-6e8f64d25183c05d847ed985664e27068a7aaa5a.tar.gz rust-6e8f64d25183c05d847ed985664e27068a7aaa5a.zip | |
hack + drive-by-fix
Diffstat (limited to 'src/doc/rustc-dev-guide/ci')
| -rwxr-xr-x | src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh b/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh index e777f349a3c..3ec81f6245f 100755 --- a/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh +++ b/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh @@ -2,7 +2,12 @@ output=$(mktemp) -RUST_LOG=mdbook_linkcheck=debug mdbook build 2>&1 | tee $output +mkdir -p book/ +cp -r $HOME/linkcheck/ book/ +RUST_LOG=mdbook_linkcheck=debug mdbook-linkcheck -s 2>&1 | tee -a $output +cp -r book/linkcheck $HOME/ + +mdbook build result=${PIPESTATUS[0]} |