diff options
author | David Kastrup <dak@gnu.org> | 2007-07-30 02:23:28 +0400 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2007-07-30 02:23:28 +0400 |
commit | 89b2f19cb516249b8d9546bb1f3f46a1ec5b3242 (patch) | |
tree | ee2cd08e7d78fc9050bf44cc915fee72acc80a27 | |
parent | 82cb8afa9bf24d2f77a6d565cdc08d6aa1febeb4 (diff) |
Makefile: use $(FIND) instead of find
Some people might prefer to be able to specify the find utility to
use.
Signed-off-by: David Kastrup <dak@gnu.org>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
-rw-r--r-- | Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -176,6 +176,7 @@ CC = gcc AR = ar RM = rm -f TAR = tar +FIND = find INSTALL = install RPMBUILD = rpmbuild TCL_PATH = tclsh @@ -903,11 +904,11 @@ doc: TAGS: $(RM) TAGS - find . -name '*.[hcS]' -print | xargs etags -a + $(FIND) . -name '*.[hcS]' -print | xargs etags -a tags: $(RM) tags - find . -name '*.[hcS]' -print | xargs ctags -a + $(FIND) . -name '*.[hcS]' -print | xargs ctags -a ### Detect prefix changes TRACK_CFLAGS = $(subst ','\'',$(ALL_CFLAGS)):\ |