Re: [PATCH] gdb/python: Fix --disable-tui build

["Kévin Le Gouguec" <legouguec@adacore.com>]

Kévin Le Gouguec <legouguec@adacore.com> writes:

> Assuming I have not missed something, this might have been an "obvious
> fix"?  Since no-one has complained about this so far, I figure it does
> not hurt to post the patch first before pushing.

I pushed this today (1d6653fd3f4), after confirming the obviousness with
Tom out-of-band.

>  gdb/python/py-tui.c | 2 ++
>  1 file changed, 2 insertions(+)
>
> diff --git a/gdb/python/py-tui.c b/gdb/python/py-tui.c
> index 9ce76659052..92fa0591e5c 100644
> --- a/gdb/python/py-tui.c
> +++ b/gdb/python/py-tui.c
> @@ -618,5 +618,7 @@ gdbpy_initialize_tui ()
>  void
>  gdbpy_finalize_tui ()
>  {
> +#ifdef TUI
>    gdbpy_tui_window_maker::invalidate_all ();
> +#endif	/* TUI */
>  }