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.