12345678910111213141516 |
- See http://sourceware.org/bugzilla/show_bug.cgi?id=14523
- --- a/gdbsupport/signals.cc
- +++ b/gdbsupport/signals.cc
- @@ -348,6 +348,11 @@ gdb_signal_from_host (int hostsig)
- else if (64 <= hostsig && hostsig <= 127)
- return (enum gdb_signal)
- (hostsig - 64 + (int) GDB_SIGNAL_REALTIME_64);
- + else if (hostsig == 128)
- + /* Some platforms, such as Linux MIPS, have NSIG == 128, in which case
- + signal 128 is the highest realtime signal. There is no constant for
- + that though. */
- + return GDB_SIGNAL_UNKNOWN;
- else
- error (_("GDB bug: target.c (gdb_signal_from_host): "
- "unrecognized real-time signal"));
|