diff options
author | Pedro Alves <pedro@codesourcery.com> | 2009-02-05 18:54:50 +0000 |
---|---|---|
committer | Pedro Alves <pedro@codesourcery.com> | 2009-02-05 18:54:50 +0000 |
commit | 1c16b172f6c9585e581aeeba83962031fed9238e (patch) | |
tree | 33d4b1bf304b096fa6ce634b5d85c875ac62a512 /gdb/linux-fork.c | |
parent | 499683add884015d10a79fc2689af16bb102421a (diff) | |
download | gdb-1c16b172f6c9585e581aeeba83962031fed9238e.tar.gz |
* target.h (target_tid_to_str): Delete.
* thread.c (print_thread_info, thread_apply_all_command)
(thread_apply_command, thread_command, do_captured_thread_select):
Use target_pid_to_str instead of target_tid_to_str.
* linux-fork.c (delete_fork_command): Likewise.
Diffstat (limited to 'gdb/linux-fork.c')
-rw-r--r-- | gdb/linux-fork.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/linux-fork.c b/gdb/linux-fork.c index 6d9b1e9b957..861917d81bf 100644 --- a/gdb/linux-fork.c +++ b/gdb/linux-fork.c @@ -439,7 +439,7 @@ delete_fork_command (char *args, int from_tty) error (_("Please switch to another fork/checkpoint before deleting the current one")); if (ptrace (PTRACE_KILL, PIDGET (ptid), 0, 0)) - error (_("Unable to kill pid %s"), target_tid_to_str (ptid)); + error (_("Unable to kill pid %s"), target_pid_to_str (ptid)); if (from_tty) printf_filtered (_("Killed %s\n"), target_pid_to_str (ptid)); |