Re: make: "Profiling timer expired"

[Hugo Herbelin]

On Mon, Feb 14, 2011 at 10:17:58PM -0600, Jonathan Nieder wrote:
> Hi,
> 
> Hugo Herbelin wrote[1]:
> 
> > As witnessed by a search on the web, the meaning of the error
> > message "Profiling timer expired" is difficult to understand. I
> > guess, without being fully sure though, that it is caused by the
> > reception of a SIGPROF by make, what (apparently) means that gprof
> > has been used in some recipe. Is that correct? If yes, couldn't a
> > message like "Received the SIGPROF signal when running recipe" or
> > "Received profiling timer expiration from command %s" with the name
> > of the command, or whatever you think is better appropriate, be
> > preferable. Somehow, the same applies to the "Virtual timer expired"
> > message.
> > 
> > The problem has actually been raised on the French translation
> > project mailing list, the message being too difficult to understand
> > in English to be correctly translated.
> 
> Thoughts?
> 
> [1] http://bugs.debian.org/601474

No more that was I proposed (e.g. "Received the SIGPROF signal when
running recipe"). I don't know well enough what it does to propose an
optimal message. Anyway, if noone has spontaneously an illuminating
idea, that's far from a crucial point.

Hugo