gdb/python: Fix --disable-tui build
authorKévin Le Gouguec <legouguec@adacore.com>
Wed, 22 Feb 2023 12:37:06 +0000 (13:37 +0100)
committerKévin Le Gouguec <legouguec@adacore.com>
Mon, 6 Mar 2023 16:31:57 +0000 (17:31 +0100)
commit1d6653fd3f4e0d7140e705733412fd75c40177b2
treea95a6eb61f55ec87875e167acb1bfff0fb004136
parentf69005750d70ff4e305c45a250053823b0559f11
gdb/python: Fix --disable-tui build

As of 2023-02-13 "gdb/python: deallocate tui window factories at Python
shut down" (9ae4519da90), a TUI-less build fails with:

$src/gdb/python/py-tui.c: In function ‘void gdbpy_finalize_tui()’:
$src/gdb/python/py-tui.c:621:3: error: ‘gdbpy_tui_window_maker’ has not been declared
  621 |   gdbpy_tui_window_maker::invalidate_all ();
      |   ^~~~~~~~~~~~~~~~~~~~~~

Since gdbpy_tui_window_maker is only defined under #ifdef TUI, add an
#ifdef guard in gdbpy_finalize_tui as well.
gdb/python/py-tui.c