add back check for update prs

mark-i-m · mark-i-m · commit 11a3b742d8df · 2019-07-23T15:37:04.000-05:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -97,6 +97,7 @@ status_check() {`
`97`	`97`	`# exempts them from that.`
`98`	`98`	`check_dispatch $1 nightly miri src/tools/miri`
`99`	`99`	`check_dispatch $1 nightly embedded-book src/doc/embedded-book`
	`100`	`+ check_dispatch $1 nightly rustc-guide src/doc/rustc-guide`
`100`	`101`	`}`
`101`	`102`
`102`	`103`	`# If this PR is intended to update one of these tools, do not let the build pass`