Skip to content

Commit

Permalink
Fix the tool's path in toolstate verification.
Browse files Browse the repository at this point in the history
This ensure we do block the tools when they are broken during an update.
  • Loading branch information
kennytm committed Jul 2, 2018
1 parent 9363342 commit d914574
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions src/ci/docker/x86_64-gnu-tools/checktools.sh
Expand Up @@ -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
Expand Down

0 comments on commit d914574

Please sign in to comment.