diff options
Diffstat (limited to 'gdb/inf-child.c')
| -rw-r--r-- | gdb/inf-child.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/inf-child.c b/gdb/inf-child.c index fe91d1f..cc00867 100644 --- a/gdb/inf-child.c +++ b/gdb/inf-child.c @@ -161,7 +161,7 @@ inf_child_open_target (const char *arg, int from_tty) current_inferior ()->push_target (target); inf_child_explicitly_opened = 1; if (from_tty) - printf_filtered ("Done. Use the \"run\" command to start a process.\n"); + gdb_printf ("Done. Use the \"run\" command to start a process.\n"); } /* Implement the to_disconnect target_ops method. */ |