diff options
Diffstat (limited to 'gdb/remote-vx.c')
| -rw-r--r-- | gdb/remote-vx.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/remote-vx.c b/gdb/remote-vx.c index 787bd3924a4..8c09d2c011c 100644 --- a/gdb/remote-vx.c +++ b/gdb/remote-vx.c @@ -1026,8 +1026,8 @@ vx_wait (pid_to_wait_for, status) sleep_ms (200); /* FIXME Don't kill the network too badly */ } else if (pid != inferior_pid) - fatal ("Bad pid for debugged task: %s\n", - local_hex_string ((unsigned long) pid)); + internal_error ("Bad pid for debugged task: %s\n", + local_hex_string ((unsigned long) pid)); } while (pid == 0); |