Re: [PATCH] Makefile: quiet shell commands when "make --silent"

From: Junio C Hamano <gitster@pobox.com>
Date: Sep 10, 2012, 00:35 UTC
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.