Pete Wyckoff <p...@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.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html