diff options
Diffstat (limited to 'ci/test')
-rwxr-xr-x | ci/test | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -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 |