Merge branch 'js/update-index-ignore-removal-for-skip-worktree'

[thirdparty/git.git] / ci / run-static-analysis.sh

diff --git a/ci/run-static-analysis.sh b/ci/run-static-analysis.sh
index a19aa7ebbc0931fa56acfccdcc0d8bc1ad94ea2c..65bcebda41a0dfb47676a1d0528fdaa0addf2271 100755 (executable)
--- a/ci/run-static-analysis.sh
+++ b/ci/run-static-analysis.sh
@@ -26,4 +26,7 @@ then
        exit 1
 fi
 
+make hdr-check ||
+exit 1
+
 save_good_tree