diff options
author | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-09 21:36:23 +0000 |
---|---|---|
committer | Jason Molenda <jsm@bugshack.cygnus.com> | 1999-08-09 21:36:23 +0000 |
commit | a27fefe150437b815e05a7b2f665ecd7beadee1c (patch) | |
tree | 03125a5903321c99f52957dda62b7c184e97391d /gdb/remote-vx.c | |
parent | 30596ccddf8f2c54b474c35d984cc95e6c8af805 (diff) | |
download | gdb-a27fefe150437b815e05a7b2f665ecd7beadee1c.tar.gz |
import gdb-1999-08-09 snapshot
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); |