From da31acd8a8c4996995c0df3302c15cf801094989 Mon Sep 17 00:00:00 2001
From: Russ Allbery <eagle@eyrie.org>
Date: Sun, 17 May 2020 20:23:36 -0700
Subject: Add cppcheck to CI in the gcc MIT build

---
 ci/test | 6 ++++++
 1 file changed, 6 insertions(+)

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
-- 
cgit v1.2.3