From: Mark Mansi <markm@cs.wisc.edu>
Date: Tue, 23 Jul 2019 20:33:41 +0000 (-0500)
Subject: add back check for update prs
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;ds=inline;h=11a3b742d8dfae9c9d4858adc5417918e13d84a5;p=rust.git

add back check for update prs
---

diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh
index e0de51e2cb0..04fbe728deb 100755
--- a/src/ci/docker/x86_64-gnu-tools/checktools.sh
+++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh
@@ -97,6 +97,7 @@ status_check() {
     # exempts them from that.
     check_dispatch $1 nightly miri src/tools/miri
     check_dispatch $1 nightly embedded-book src/doc/embedded-book
+    check_dispatch $1 nightly rustc-guide src/doc/rustc-guide
 }
 
 # If this PR is intended to update one of these tools, do not let the build pass