diff options
Diffstat (limited to 'gdb/debuginfod-support.c')
| -rw-r--r-- | gdb/debuginfod-support.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gdb/debuginfod-support.c b/gdb/debuginfod-support.c index 1f160e2..633cfdb 100644 --- a/gdb/debuginfod-support.c +++ b/gdb/debuginfod-support.c @@ -299,8 +299,9 @@ static void show_debuginfod_enabled (ui_file *file, int from_tty, cmd_list_element *cmd, const char *value) { - printf_unfiltered (_("Debuginfod functionality is currently set to " - "\"%s\".\n"), debuginfod_enabled); + fprintf_unfiltered (file, + _("Debuginfod functionality is currently set to " + "\"%s\".\n"), debuginfod_enabled); } /* Set callback for "set debuginfod urls". */ |