diff options
| author |  Junio C Hamano <gitster@pobox.com> | 2019-03-11 16:16:25 +0900 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-03-11 16:16:25 +0900 |
| commit | c0d97d299e85490d60b24e0a7905017d38c530cf (patch) | |
| tree | c87566f9488c59eb6d10b09832ddd381197efa64 /refs.h | |
| parent | Merge branch 'rj/hdr-check-gcrypt-fix' (diff) | |
| parent | Makefile: use `git ls-files` to list header files, if possible (diff) | |
| download | tgif-c0d97d299e85490d60b24e0a7905017d38c530cf.tar.xz | |
Merge branch 'js/find-lib-h-with-ls-files-when-possible'
The Makefile uses 'find' utility to enumerate all the *.h header
files, which is expensive on platforms with slow filesystems; it
now optionally uses "ls-files" if working within a repository,
which is a trick similar to how all sources are enumerated to run
ETAGS on.
* js/find-lib-h-with-ls-files-when-possible:
Makefile: use `git ls-files` to list header files, if possible
Diffstat (limited to 'refs.h')
0 files changed, 0 insertions, 0 deletions