summaryrefslogtreecommitdiff
path: root/gdb/remote-vx.c
diff options
context:
space:
mode:
Diffstat (limited to 'gdb/remote-vx.c')
-rw-r--r--gdb/remote-vx.c4
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);