diff options
| author | Philipp Hansch <dev@phansch.net> | 2018-12-20 16:03:49 +0100 |
|---|---|---|
| committer | Philipp Hansch <dev@phansch.net> | 2018-12-20 16:03:49 +0100 |
| commit | 2d2435b47e85d461cbc8047801a2df698364892d (patch) | |
| tree | 1e736bcc7df6d204eaa1348ea5ea374a7219c3e6 /src/ci/docker | |
| parent | 748d354af3145d4292ea84142f73bb8114e3db12 (diff) | |
| download | rust-2d2435b47e85d461cbc8047801a2df698364892d.tar.gz rust-2d2435b47e85d461cbc8047801a2df698364892d.zip | |
Run compiletest tests on CI
I was assuming that https://github.com/rust-lang/rust/pull/56792 would have resulted in compiletest tests being executed in CI. However, I couldn't find any mentions of the unit test names in any CI logs. This adds the compiletest test execution to the checktools.sh script.
Diffstat (limited to 'src/ci/docker')
| -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 |