Re: [PATCH] Make 'make' quieter while building git
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Mar 6, 2007, 14:19 UTC
- Message-ID
- <Pine.LNX.4.63.0703061518250.22628@wbgn013.biozentrum.uni-wuerzburg.de>
- In-Reply-To
- <81b0412b0703060537u5140a034s91b35f0d842843a3@mail.gmail.com>
Hi,
On Tue, 6 Mar 2007, Alex Riesen wrote:
Show 22 quoted lines
> On 3/6/07, Johannes Schindelin <Johannes.Schindelin@gmx.de> wrote: > > > > ... > > > > CC builtin-grep.c > > > > builtin-grep.c:187: warning: 'external_grep' defined but not used > > > > > > Can I suggest printing the resulting object file instead of source? > > > It is useful if you want rebuild just one file by mouse-copy-paste it > > > into command line (the source file name for editor in case of > > > error is already in error message). > > > > I don't understand. > > Right. Because I was suggesting to output something like this: > > $ make > ... > CC builtin-grep.o > builtin-grep.c:187: warning: 'external_grep' defined but not used > > Notice "builtin-grep.o" (the ".o", not _.c_). IOW, we already > see builtin-grep.c when we need it (in the error/warning message), > BUT the builtin-grep.o is missing (and is useful for mouse-copy-paste).
Ah! That explains it why I did not understand.
Ciao, Dscho