Change how cooked index waits for threads
authorTom Tromey <tom@tromey.com>
Tue, 27 Dec 2022 15:58:38 +0000 (08:58 -0700)
committerTom Tromey <tom@tromey.com>
Tue, 9 Jan 2024 01:40:21 +0000 (18:40 -0700)
commitf7840e9e3eb9d1a157eaae772ea6841f1b83f1ba
tree34b3df072309db8db579020d879a0918e8199bc1
parent9b595a264168cdd950c19dafe4663ca25d22234b
Change how cooked index waits for threads

This changes the cooked index code to wait for threads in its
public-facing API.  That is, the waits are done in cooked_index now,
and never in the cooked_index_shard.  Centralizing this decision makes
it easier to wait for other events here as well.
gdb/dwarf2/cooked-index.c
gdb/dwarf2/cooked-index.h