| 1 | See http://sourceware.org/bugzilla/show_bug.cgi?id=14523 |
| 2 | --- |
| 3 | --- gdb-7.5.org/gdb/common/signals.c 2012-05-24 18:51:37.000000000 +0200 |
| 4 | +++ gdb-7.5.org/gdb/common/signals.c 2012-08-29 22:32:07.000000000 +0200 |
| 5 | @@ -346,6 +346,11 @@ |
| 6 | else if (64 <= hostsig && hostsig <= 127) |
| 7 | return (enum gdb_signal) |
| 8 | (hostsig - 64 + (int) GDB_SIGNAL_REALTIME_64); |
| 9 | + else if (hostsig == 128) |
| 10 | + /* Some platforms, such as Linux MIPS, have NSIG == 128, in which case |
| 11 | + signal 128 is the highest realtime signal. There is no constant for |
| 12 | + that though. */ |
| 13 | + return GDB_SIGNAL_UNKNOWN; |
| 14 | else |
| 15 | error (_("GDB bug: target.c (gdb_signal_from_host): " |
| 16 | "unrecognized real-time signal")); |
| 17 | |
