aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xci/test6
1 files changed, 6 insertions, 0 deletions
diff --git a/ci/test b/ci/test
index efe4021..f30b2c7 100755
--- a/ci/test
+++ b/ci/test
@@ -27,3 +27,9 @@ make warnings
# Run the tests.
make check
+
+# Run some additional checks for one of the builds. Arbitrarily pick the GCC
+# MIT build.
+if [ "$COMPILER" = 'gcc' ] && [ "$KERBEROS" = 'mit' ]; then
+ make check-cppcheck
+fi