diff --git a/src/ci/docker/x86_64-gnu-tools/checktools.sh b/src/ci/docker/x86_64-gnu-tools/checktools.sh
index d876cb7f37a4..5da97cc9a848 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