Delete delete_thread_silent
authorPedro Alves <pedro@palves.net>
Wed, 22 Jun 2022 17:20:42 +0000 (18:20 +0100)
committerPedro Alves <pedro@palves.net>
Fri, 24 Jun 2022 10:24:02 +0000 (11:24 +0100)
commit39b8a8090ed7e8967ceca3655aa5f3a2ae91219d
tree1fd51e49e5c6dcf14b239c92c7ab0501d325c2e2
parent54603ee2aeaf248220f0f440c322ff02e98cd403
Delete delete_thread_silent

delete_thread_silent is no longer used anywhere.  Delete it.

Change-Id: Iafcec12339861d5ab2e29c14d7b1f884c9e11c0f
gdb/gdbthread.h
gdb/thread.c