From 6e8f64d25183c05d847ed985664e27068a7aaa5a Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Thu, 5 Sep 2019 18:58:16 -0500 Subject: hack + drive-by-fix --- src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'src/doc/rustc-dev-guide/ci') 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]} -- cgit 1.4.1-3-g733a5