Only run cppcheck on one CI build

cppcheck checks all branches of preprocessors anyway, so no need
to run it more than once.

diff --git a/ci/test b/ci/test
index 16da68f15d99403ad94068db4cfbf2d9ef28fec2..ba942f56530a79da8158a0f1ea37ac7139b22023 100755 (executable)
--- a/ci/test
+++ b/ci/test
@@ -26,9 +26,10 @@ else
 fi
 make warnings
 
-# Run the regular tests with valgrind for one of the builds.  Arbitrarily pick
-# the GCC build.  (The assumption here is that other compilers won't produce
-# sufficiently different code as to create memory management problems.)
+# Run the regular tests with valgrind for one of the compilers.  Arbitrarily
+# pick the GCC build.  (The assumption here is that other compilers won't
+# produce sufficiently different code as to create memory management
+# problems.)
 if [ "$COMPILER" = 'gcc' ]; then
     make check-valgrind
 else
@@ -36,7 +37,7 @@ else
 fi
 
 # Run some additional checks for one of the builds.  Arbitrarily pick the GCC
-# build.
-if [ "$COMPILER" = 'gcc' ]; then
+# MIT build.
+if [ "$COMPILER" = 'gcc' ] && [ "$KERBEROS" = 'mit' ]; then
     make check-cppcheck
 fi