[PATCH] infrun debug output: Print the random signal's enum name in debug output in addition to its number.

[Pedro Alves]

On 10/22/2013 04:39 PM, Tom Tromey wrote:
>>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:
> 
> Pedro> How about this version?  It goes a step forward and makes us
> Pedro> consistently print the gdb_signal enum name throughout infrun
> Pedro> debug output.  As explained in the commit log below, I think this
> Pedro> ends up being a nice improvement.
> 
> I think so too.

Ok, great.  I've put this in then.

Thanks,
-- 
Pedro Alves