Add function execute_command_to_ui_file
authorPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Fri, 26 Apr 2019 18:52:16 +0000 (20:52 +0200)
committerPhilippe Waroquiers <philippe.waroquiers@skynet.be>
Fri, 31 May 2019 15:11:38 +0000 (17:11 +0200)
commitb8fd091888383703f5d708c597c496d7b9e47a21
tree24b079241f130a85492987818551fb815961a2c8
parent68bb5386b84af4031175bf186269eb6b54b8611d
Add function execute_command_to_ui_file

2019-05-31  Philippe Waroquiers  <philippe.waroquiers@skynet.be>

* gdbcmd.h (execute_command_to_ui_file): New declaration.
top.c (execute_command_to_ui_file): New function, mostly a copy
of execute_command_to_string.
(execute_command_to_string): Implement by calling
execute_command_to_ui_file.
gdb/ChangeLog
gdb/gdbcmd.h
gdb/top.c