[Top][All Lists]
[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
- make: "Profiling timer expired",
Jonathan Nieder <=