diff options
author | Junio C Hamano <gitster@pobox.com> | 2019-03-11 07:16:25 (GMT) |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2019-03-11 07:16:25 (GMT) |
commit | c0d97d299e85490d60b24e0a7905017d38c530cf (patch) | |
tree | c87566f9488c59eb6d10b09832ddd381197efa64 /Documentation/git-gc.txt | |
parent | 1de413bc1db8fb1d2269dd951269e798cf9a17fa (diff) | |
parent | 92b88eba9f7e9dddc20db5561837ddaf6677cf0c (diff) | |
download | git-c0d97d299e85490d60b24e0a7905017d38c530cf.zip git-c0d97d299e85490d60b24e0a7905017d38c530cf.tar.gz git-c0d97d299e85490d60b24e0a7905017d38c530cf.tar.bz2 |
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 'Documentation/git-gc.txt')
0 files changed, 0 insertions, 0 deletions