diff options
Diffstat (limited to 'ci/run-static-analysis.sh')
| -rwxr-xr-x | ci/run-static-analysis.sh | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/ci/run-static-analysis.sh b/ci/run-static-analysis.sh index 5688f261d0..65bcebda41 100755 --- a/ci/run-static-analysis.sh +++ b/ci/run-static-analysis.sh @@ -3,9 +3,9 @@ # Perform various static code analysis checks # -. ${0%/*}/lib-travisci.sh +. ${0%/*}/lib.sh -make --jobs=2 coccicheck +make coccicheck set +x @@ -26,4 +26,7 @@ then exit 1 fi +make hdr-check || +exit 1 + save_good_tree |