From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Tue, 06 Mar 2007 14:19:00 GMT
Subject: Re: [PATCH] Make 'make' quieter while building git
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:

> 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