gdb/show_args_command: print to the ui_file argument
authorLancelot SIX <lancelot.six@amd.com>
Wed, 3 May 2023 10:56:48 +0000 (11:56 +0100)
committerLancelot SIX <lancelot.six@amd.com>
Wed, 3 May 2023 15:28:25 +0000 (16:28 +0100)
commit2ad00a4b42f89b61fdab24940b67713daf81c988
tree7e52d84bda4e517e9062d3416c250225ae8fa01b
parenta2243c30bc13c9adce71d70eeb5e97b7846b48f3
gdb/show_args_command: print to the ui_file argument

The show_args_command uses gdb_printf without specifying the ui_file.
This means that it prints to gdb_stdout instead of the stream given as
an argument to the function.

This commit fixes this.

Reviewed-By: Tom Tromey <tom@tromey.com>
gdb/infcmd.c