Add cppcheck to CI in the gcc MIT build

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