diff options
| author | Oliver Schneider <git-no-reply-9879165716479413131@oli-obk.de> | 2018-04-13 16:05:54 +0200 |
|---|---|---|
| committer | Oliver Schneider <git-spam-no-reply9815368754983@oli-obk.de> | 2018-04-23 11:38:13 +0200 |
| commit | 3084c066e408f7a2921b02a16f115bb4833c71de (patch) | |
| tree | 112d8ae4e2fffee39b865ba36ec221fef2f8888d /src/ci/docker | |
| parent | f5cf1a841965e8e69cf56669430553b2dc225631 (diff) | |
| download | rust-3084c066e408f7a2921b02a16f115bb4833c71de.tar.gz rust-3084c066e408f7a2921b02a16f115bb4833c71de.zip | |
Fix the miri tool
Diffstat (limited to 'src/ci/docker')
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index da89aa9423b..3fed0175371 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -67,7 +67,7 @@ verify_status rust-by-example src/doc/rust-by-example verify_status rls src/tool/rls verify_status rustfmt src/tool/rustfmt verify_status clippy-driver src/tool/clippy -#verify_status miri src/tool/miri +verify_status miri src/tool/miri if [ "$RUST_RELEASE_CHANNEL" = nightly -a -n "${TOOLSTATE_REPO_ACCESS_TOKEN+is_set}" ]; then . "$(dirname $0)/repo.sh" |