2005-02-11 Andrew Cagney <cagney@gnu.org>
[deliverable/binutils-gdb.git] / gdb / osabi.c
index 5014edd5cb39526b2d343814fc653c1fdaf78d32..58c2f8cb945224daba0ade3d5611a07a8c503d99 100644 (file)
@@ -600,14 +600,14 @@ static void
 show_osabi (char *args, int from_tty)
 {
   if (user_osabi_state == osabi_auto)
-    printf_filtered ("The current OS ABI is \"auto\" (currently \"%s\").\n",
+    printf_filtered (_("The current OS ABI is \"auto\" (currently \"%s\").\n"),
                     gdbarch_osabi_name (gdbarch_osabi (current_gdbarch)));
   else
-    printf_filtered ("The current OS ABI is \"%s\".\n",
+    printf_filtered (_("The current OS ABI is \"%s\".\n"),
                     gdbarch_osabi_name (user_selected_osabi));
 
   if (GDB_OSABI_DEFAULT != GDB_OSABI_UNKNOWN)
-    printf_filtered ("The default OS ABI is \"%s\".\n",
+    printf_filtered (_("The default OS ABI is \"%s\".\n"),
                     gdbarch_osabi_name (GDB_OSABI_DEFAULT));
 }
 \f
This page took 0.025086 seconds and 4 git commands to generate.