Unify gdb printf functions

[thirdparty/binutils-gdb.git] / gdb / osabi.c

diff --git a/gdb/osabi.c b/gdb/osabi.c
index d4a98061dbd530e8a8d60b0c2e66ae95488f5cf2..bbd7635532fb93111c1cebeac048e33ad184fe46 100644 (file)
--- a/gdb/osabi.c
+++ b/gdb/osabi.c
@@ -638,17 +638,17 @@ show_osabi (struct ui_file *file, int from_tty, struct cmd_list_element *c,
            const char *value)
 {
   if (user_osabi_state == osabi_auto)
-    fprintf_filtered (file,
-                     _("The current OS ABI is \"auto\" "
-                       "(currently \"%s\").\n"),
-                     gdbarch_osabi_name (gdbarch_osabi (get_current_arch ())));
+    gdb_printf (file,
+               _("The current OS ABI is \"auto\" "
+                 "(currently \"%s\").\n"),
+               gdbarch_osabi_name (gdbarch_osabi (get_current_arch ())));
   else
-    fprintf_filtered (file, _("The current OS ABI is \"%s\".\n"),
-                     gdbarch_osabi_name (user_selected_osabi));
+    gdb_printf (file, _("The current OS ABI is \"%s\".\n"),
+               gdbarch_osabi_name (user_selected_osabi));
 
   if (GDB_OSABI_DEFAULT != GDB_OSABI_UNKNOWN)
-    fprintf_filtered (file, _("The default OS ABI is \"%s\".\n"),
-                     gdbarch_osabi_name (GDB_OSABI_DEFAULT));
+    gdb_printf (file, _("The default OS ABI is \"%s\".\n"),
+               gdbarch_osabi_name (GDB_OSABI_DEFAULT));
 }
 
 void _initialize_gdb_osabi ();