bug-make
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

make: "Profiling timer expired"


From: Jonathan Nieder
Subject: make: "Profiling timer expired"
Date: Mon, 14 Feb 2011 22:17:58 -0600
User-agent: Mutt/1.5.21 (2010-09-15)

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



reply via email to

[Prev in Thread] Current Thread [Next in Thread]