diff options
Diffstat (limited to 'gdb/ravenscar-thread.c')
| -rw-r--r-- | gdb/ravenscar-thread.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gdb/ravenscar-thread.c b/gdb/ravenscar-thread.c index 60fc353..cbc3508 100644 --- a/gdb/ravenscar-thread.c +++ b/gdb/ravenscar-thread.c @@ -703,10 +703,10 @@ show_ravenscar_task_switching_command (struct ui_file *file, int from_tty, const char *value) { if (ravenscar_task_support) - fprintf_filtered (file, _("\ + gdb_printf (file, _("\ Support for Ravenscar task/thread switching is enabled\n")); else - fprintf_filtered (file, _("\ + gdb_printf (file, _("\ Support for Ravenscar task/thread switching is disabled\n")); } |