From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 10 Sep 2012 00:35:40 GMT
Subject: Re: [PATCH] Makefile: quiet shell commands when "make --silent"
Message-ID: <7voblepvdv.fsf@alter.siamese.dyndns.org>
In-Reply-To: <20120909230921.GA23806@padd.com>

Pete Wyckoff <pw@padd.com> writes:

> Option "--silent", "--quiet" or "-s" to make prevents
> echoing of commands as they are executed.  However, there
> are some explicit "echo" commands in the Makefile and in
> the two GIT-VERSION-GEN scripts that always echo.

"make -s clean"?

I am not very enthused, especially if the primary motivation is
about "check-docs".  Such a script must be prepared to filter out
cruft from the output of $(MAKE) and to pick out the bits that
interests it and that has been the way of life with $(MAKE) way
before Git started as a project ;-).

In order to make it more robust, targets like "print-man1" can (and
should) arrange their output in such a way that interesting parts
are easily findable.