diff options
| -rwxr-xr-x | src/ci/docker/x86_64-gnu-tools/checktools.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh index d876cb7f37a..5da97cc9a84 100755 --- a/src/ci/docker/x86_64-gnu-tools/checktools.sh +++ b/src/ci/docker/x86_64-gnu-tools/checktools.sh @@ -37,6 +37,11 @@ python2.7 "$X_PY" test --no-fail-fast \ src/tools/rls \ src/tools/rustfmt \ src/tools/miri \ + src/tools/compiletest + +# Note that compiletest here is an exception from the other tools. +# We are only executing the unit tests of it. We don't need to track the +# toolstate because it's not distributed as a tool like the other items. set -e |