Eliminate target_has_exited
authorPedro Alves <palves@redhat.com>
Thu, 12 Apr 2018 16:36:01 +0000 (17:36 +0100)
committerPedro Alves <palves@redhat.com>
Thu, 12 Apr 2018 16:36:01 +0000 (17:36 +0100)
commit436411b1c6cb93541fd502321cf5470fe0392b91
tree3fc7cf033082d97509ce454cd3d28cebf93f9b2f
parent86c6c6df007cee29f4a723df1a6af1889183fb2e
Eliminate target_has_exited

Nothing uses this.

gdb/ChangeLog:
2018-04-12  Pedro Alves  <palves@redhat.com>

* target.h (target_ops::to_has_exited): Delete.
(target_has_exited): Delete.
* target-delegates.c: Regenerate.
gdb/ChangeLog
gdb/target-delegates.c
gdb/target.h