[PATCH] print '--with{,out}-babeltrace' in 'gdb --configuration'

[Eli Zaretskii]

> Date: Mon, 15 Apr 2013 11:50:51 -0700
> From: Doug Evans <dje@google.com>
> Cc: gdb-patches <gdb-patches@sourceware.org>
> 
> Do we care about printing --with-libbabeltrace-prefix?
> I don't have a strong preference, but if we're going to go down this
> path I think we should.

Any configure-time option that is known to GDB at run time should be
included in the configuration description.

> [An alternative would be to punt on details at this level and instead
> record the complete string passed to configure and print that.]

That has its limitations, in that it only shows options explicitly
mentioned on the configure command line, omitting the options that
were automatically chosen by configure as result of probing the
system.  E.g., --with-expat.