Pete Wyckoff <pw@xxxxxxxx> 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 majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html