diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-10-07 05:33:02 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-10-07 05:33:02 +0300 |
commit | 9728ab488ad2fc5e17daba69cbc80ff514f70da8 (patch) | |
tree | 7ff6a4b70f586b6abc02c1aba75f7a477b7ca4a2 /.gitignore | |
parent | 1f314d522311f05e0519206a1ae9919df87e75a1 (diff) | |
parent | 411e4f4735397a601f33be475918e4a96f66e3a2 (diff) |
Merge branch 'dl/honor-cflags-in-hdr-check'
Dev support.
* dl/honor-cflags-in-hdr-check:
ci: run `hdr-check` as part of the `Static Analysis` job
Makefile: emulate compile in $(HCO) target better
pack-bitmap.h: remove magic number
promisor-remote.h: include missing header
apply.h: include missing header
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fc445edea9..89b3b79c1a 100644 --- a/.gitignore +++ b/.gitignore @@ -216,6 +216,7 @@ /tags /TAGS /cscope* +*.hcc *.obj *.lib *.res |