On 11/06/2015 02:46 PM, Juha Aaltonen wrote: > I was wondering... > How can I find out which signal numbers GDB uses for which signals? As the manual suggests, see src/include/gdb/signals.h, or rather src/include/gdb/signals.def. Thanks, Pedro Alves