diff options
Diffstat (limited to 'gdb/filesystem.c')
| -rw-r--r-- | gdb/filesystem.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/gdb/filesystem.c b/gdb/filesystem.c index 1f969d3..f9aaeed 100644 --- a/gdb/filesystem.c +++ b/gdb/filesystem.c @@ -64,16 +64,16 @@ show_target_file_system_kind_command (struct ui_file *file, const char *value) { if (target_file_system_kind == file_system_kind_auto) - fprintf_filtered (file, _("\ + gdb_printf (file, _("\ The assumed file system kind for target reported file names \ is \"%s\" (currently \"%s\").\n"), - value, - effective_target_file_system_kind ()); + value, + effective_target_file_system_kind ()); else - fprintf_filtered (file, _("\ + gdb_printf (file, _("\ The assumed file system kind for target reported file names \ is \"%s\".\n"), - value); + value); } void _initialize_filesystem (); |