gdb/show_args_command: print to the ui_file argument

The show_args_command uses gdb_printf without specifying the ui_file.
This means that it prints to gdb_stdout instead of the stream given as
an argument to the function.

This commit fixes this.

Reviewed-By: Tom Tromey <tom@tromey.com>

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index b8134665f3fe0c99ee75be4bd795fab101a490d5..e42927858ba5ce659fd92c5e7a05ad5cc578d9bc 100644 (file)
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -144,7 +144,7 @@ show_args_command (struct ui_file *file, int from_tty,
 {
   /* Ignore the passed in value, pull the argument directly from the
      inferior.  However, these should always be the same.  */
-  gdb_printf (_("\
+  gdb_printf (file, _("\
 Argument list to give program being debugged when it is started is \"%s\".\n"),
              current_inferior ()->args ().c_str ());
 }