Re: Update "gdb --configuration"

Joel Brobecker
2018-03-09T10:57:57Z

Hi Eli,

On Fri, Mar 09, 2018 at 12:45:22PM +0200, Eli Zaretskii wrote:
> The patch below adds more config information to the text we produce.
> OK to commit?
>
> 2018-03-09 Eli Zaretskii <eliz@gnu.org>
>
> * top.c (print_gdb_configuration): Reflect LIBIPT, LIBMEMCHECK,
> and LIBMPFR in the printed configuration.

Looks good to me, modulo one tiny think-o below:

> +#if HAVE_LIBMPFR
> + fprintf_filtered (stream, _("\
> + --with-libmpfr\n\

It's actually --with-mpfr.

> +"));
> +#else
> + fprintf_filtered (stream, _("\
> + --without-libmpfr\n\

Same here.

--
Joel