From de6cb97e4b673ef1ff975eb33d73097074f14925 Mon Sep 17 00:00:00 2001
From: Who? Me?! <mark-i-m@users.noreply.github.com>
Date: Mon, 5 Aug 2019 15:57:25 -0500
Subject: hack around timeouts (#416)

---
 .../rustc-dev-guide/ci/build-ignore-timeouts.sh    | 23 ++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh

(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
new file mode 100644
index 00000000000..b21ce24e83f
--- /dev/null
+++ b/src/doc/rustc-dev-guide/ci/build-ignore-timeouts.sh
@@ -0,0 +1,23 @@
+
+output=$(mktemp)
+
+RUST_LOG=mdbook_linkcheck=debug mdbook build 2>&1 | tee $output
+
+result=${PIPESTATUS[0]}
+
+# if passed, great!
+if [ "$result" -eq "0" ] ; then
+    exit 0 ;
+fi
+
+errors=$(cat $output | sed -n 's/There \(was\|were\) \([0-9]\+\).*$/\2/p')
+timeouts=$(cat $output | grep "error while fetching" | wc -l)
+
+# if all errors are timeouts, ignore them...
+if [ "$errors" -eq "$timeouts" ] ; then
+    echo "Ignoring $timeouts timeouts";
+    exit 0;
+else
+    echo "Non-timeout errors found";
+    exit 1;
+fi
-- 
cgit 1.4.1-3-g733a5