ci: run hdr-check as part of the Static Analysis job

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
Johannes Schindelin
2019-10-01 04:16:26 -07:00
committed by Junio C Hamano
parent b503a2d515
commit 411e4f4735
3 changed files with 6 additions and 2 deletions

View File

@ -26,4 +26,7 @@ then
exit 1
fi
make hdr-check ||
exit 1
save_good_tree