From: Alex Riesen <raa.lkml@gmail.com>
Date: Tue, 06 Mar 2007 13:37:19 GMT
Subject: Re: [PATCH] Make 'make' quieter while building git
Message-ID: <81b0412b0703060537u5140a034s91b35f0d842843a3@mail.gmail.com>
In-Reply-To: <Pine.LNX.4.63.0703061422580.22628@wbgn013.biozentrum.uni-wuerzburg.de>

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).