1 files changed, 2 insertions, 14 deletions
diff --git a/src/doc/rustc-dev-guide/ci/build.sh b/src/doc/rustc-dev-guide/ci/build.sh
index 3954848419d..504957b3f4e 100755
--- a/src/doc/rustc-dev-guide/ci/build.sh
+++ b/src/doc/rustc-dev-guide/ci/build.sh
@@ -1,22 +1,10 @@
 #!/bin/bash -x
 
-set -o pipefail
-
-output=$(mktemp)
+set -e
 
 mkdir -p book/
 cp -r $HOME/linkcheck/ book/
-RUST_LOG=mdbook_linkcheck=debug mdbook-linkcheck -s 2>&1 | tee -a $output
-result=${PIPESTATUS[0]}
+RUST_LOG=mdbook_linkcheck=debug mdbook-linkcheck -s
 cp -r book/linkcheck $HOME/
 
 mdbook build
-
-# if passed, great!
-if [ "$result" -eq "0" ] ; then
-    echo "Linkchecks passed"
-    exit 0 ;
-else
-    echo "Linkchecks failed"
-    exit 1 ;
-fi