Add cppcheck to CI in the gcc MIT build

diff --git a/ci/test b/ci/test
index efe4021b7033b0916d0717bf9ff0db0de83666ee..f30b2c71dd222ac4c5f688a579b73e3edddb47ba 100755 (executable)
--- 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