Update src/ci/docker/x86_64-gnu-tools/checktools.sh

mark-i-m · RalfJung · web-flow · commit 8b87162af2a5 · 2019-07-18T08:57:55.000-05:00
Co-Authored-By: Ralf Jung &lt;post@ralfj.de&gt;
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh
@@ -89,7 +89,7 @@ status_check() {
     check_dispatch $1 beta rustfmt src/tools/rustfmt
     check_dispatch $1 beta clippy-driver src/tools/clippy
     # These tools are not required on the beta/stable branches.
-    # They will still cause failure during the beta cutoff week, see `src/tools/publish_toolstate.py` for that.
+    # They will still cause failure during the beta cutoff week, see `checkregression.py` for that.
     check_dispatch $1 nightly miri src/tools/miri
     check_dispatch $1 nightly embedded-book src/doc/embedded-book
 }

Original file line number	Diff line number	Diff line change
`@@ -89,7 +89,7 @@ status_check() {`
`89`	`89`	`check_dispatch $1 beta rustfmt src/tools/rustfmt`
`90`	`90`	`check_dispatch $1 beta clippy-driver src/tools/clippy`
`91`	`91`	`# These tools are not required on the beta/stable branches.`
`92`		- # They will still cause failure during the beta cutoff week, see `src/tools/publish_toolstate.py` for that.
	`92`	+ # They will still cause failure during the beta cutoff week, see `checkregression.py` for that.
`93`	`93`	`check_dispatch $1 nightly miri src/tools/miri`
`94`	`94`	`check_dispatch $1 nightly embedded-book src/doc/embedded-book`
`95`	`95`	`}`