PATCH: GDB/MI - implement -exec-abort

[Dennis Brueni]

The -exec–abort command has been documented as the MI equivalent to the kill command since GDB 5.1, but it was never implemented.

This patch does that.

gdb/ChangeLog
2014-10-23  Dennis Brueni  <dbrueni@slickedit.com>

* mi/mi-cmds.c Add "exec-abort”
* mi/mi-cmds.h Add prototype for mi_cmd_exec_abort
* mi/mi-main.c Add mi_cmd_exec_abort (identical to kill_command minus prompting)

gdb/doc/ChangeLog
2014-10-23  Dennis Brueni  <dbrueni@slickedit.com>

* doc/gdb.texinfo Revive -exec–abort documentation, add example.


-------------- next part --------------
A non-text attachment was scrubbed...
Name: gdb-7.8-exec-abort.diff
Type: application/octet-stream
Size: 3149 bytes
Desc: gdb-7.8-exec-abort.diff
URL: <http://sourceware.org/pipermail/gdb-patches/attachments/20141023/169fbf3b/attachment.obj>