tree ee2cd08e7d78fc9050bf44cc915fee72acc80a27
parent 82cb8afa9bf24d2f77a6d565cdc08d6aa1febeb4
author David Kastrup <dak@gnu.org> 1185747808 -0700
committer Junio C Hamano <gitster@pobox.com> 1185747808 -0700

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>