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

[Doug Evans]

On Mon, Apr 15, 2013 at 10:54 PM, Eli Zaretskii <eliz@gnu.org> wrote:
>> [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.

The intent is that it would be a supplement, not a replacement.
[Apologies if that wasn't clear ...]

Note that the current code doesn't print *where* libexpat,etc. were found.
Do we want to take the step of adding that to config.in so it's
available to gdb to print?
[that's an honest question, not a rhetorical one]
Which gets back to my earlier question:
Do we care about printing --with-libbabeltrace-prefix?