2002-09-10 Andrew Cagney <cagney@redhat.com>

	* infcmd.c (default_print_registers_info): Send all output to
	``file'' instead of ``gdb_stdout''.

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 36e861b6574706dcd92acea43e9b22c87625f795..f8252f21ff2619bb1b753dd792c07a63deeda196 100644 (file)
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2002-09-10  Andrew Cagney  <cagney@redhat.com>
+
+       * infcmd.c (default_print_registers_info): Send all output to
+       ``file'' instead of ``gdb_stdout''.
+
 2002-09-10  Stephane Carrez  <stcarrez@nerim.fr>
 
        * event-loop.c (gdb_do_one_event): Make public.

diff --git a/gdb/infcmd.c b/gdb/infcmd.c
index 433332555e852f78b0135630bff6aaa9b825ca02..95636ca466619d7bddf5a406221a9fb9c41277a0 100644 (file)
--- a/gdb/infcmd.c
+++ b/gdb/infcmd.c
@@ -1653,14 +1653,14 @@ default_print_registers_info (struct gdbarch *gdbarch,
        {
          /* Print the register in hex.  */
          val_print (REGISTER_VIRTUAL_TYPE (i), virtual_buffer, 0, 0,
-                    gdb_stdout, 'x', 1, 0, Val_pretty_default);
+                    file, 'x', 1, 0, Val_pretty_default);
           /* If not a vector register, print it also according to its
              natural format.  */
          if (TYPE_VECTOR (REGISTER_VIRTUAL_TYPE (i)) == 0)
            {
-             printf_filtered ("\t");
+             fprintf_filtered (file, "\t");
              val_print (REGISTER_VIRTUAL_TYPE (i), virtual_buffer, 0, 0,
-                        gdb_stdout, 0, 1, 0, Val_pretty_default);
+                        file, 0, 1, 0, Val_pretty_default);
            }
        }