Fix latent bug in default_prompt_gdb_start
authorTom Tromey <tom@tromey.com>
Wed, 11 Jan 2023 23:52:38 +0000 (16:52 -0700)
committerTom Tromey <tom@tromey.com>
Fri, 13 Jan 2023 20:18:57 +0000 (13:18 -0700)
commitd394684d5531ea85fc347d68910bed858880f2e0
treec243d09e6986451b924a5d48277ba1ec96f8016b
parentaf4c1c9168866db3ee4c2906f17fc4204adff1f7
Fix latent bug in default_prompt_gdb_start

default_prompt_gdb_start mimics default_gdb_start, but does not set
the use_gdb_stub global.  This caused one Python test to work only
because it used the ordinary gdb_start before later using
default_prompt_gdb_start.

This patch updates default_prompt_gdb_start to set this global as
well.
gdb/testsuite/lib/prompt.exp