diff options
| author | kennytm <kennytm@gmail.com> | 2018-07-03 04:49:42 +0800 |
|---|---|---|
| committer | kennytm <kennytm@gmail.com> | 2018-07-03 05:22:35 +0800 |
| commit | d91457495b2f551e34ecbe1111885d6ccceceb15 (patch) | |
| tree | b22ed174480c9e496ea87f05ef809ed997b24afe /src/ci | |
| parent | 9363342be956d1bf7781a3b7455d80fc5d94b1f8 (diff) | |
| download | rust-d91457495b2f551e34ecbe1111885d6ccceceb15.tar.gz rust-d91457495b2f551e34ecbe1111885d6ccceceb15.zip | |
Fix the tool's path in toolstate verification.
This ensure we do block the tools when they are broken during an update.
Diffstat (limited to 'src/ci')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index 56e637249f5..e8197e90851 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -79,11 +79,11 @@ status_check() { check_dispatch $1 beta nomicon src/doc/nomicon check_dispatch $1 beta reference src/doc/reference check_dispatch $1 beta rust-by-example src/doc/rust-by-example - check_dispatch $1 beta rls src/tool/rls - check_dispatch $1 beta rustfmt src/tool/rustfmt + check_dispatch $1 beta rls src/tools/rls + check_dispatch $1 beta rustfmt src/tools/rustfmt # these tools are not required for beta to successfully branch - check_dispatch $1 nightly clippy-driver src/tool/clippy - check_dispatch $1 nightly miri src/tool/miri + check_dispatch $1 nightly clippy-driver src/tools/clippy + check_dispatch $1 nightly miri src/tools/miri } # If this PR is intended to update one of these tools, do not let the build pass |