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

[Yao Qi <yao@codesourcery.com>]

The recent committed CTF patch introduces a new configure option
'--with-babeltrace'.  This patch is to print the configure choice
in 'gdb --configuration'.  Is it OK?

gdb:

2013-04-12  Yao Qi  <yao@codesourcery.com>

	* top.c (print_gdb_configuration): Print configure-time
	parameter on using libbabeltrace or not.
---
 gdb/top.c |    9 +++++++++
 1 files changed, 9 insertions(+), 0 deletions(-)

diff --git a/gdb/top.c b/gdb/top.c
index 6a402ba..480b67e 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1242,6 +1242,15 @@ This GDB was configured as follows:\n\
              --without-zlib\n\
 "));
 #endif
+#if HAVE_LIBBABELTRACE
+    fprintf_filtered (stream, _("\
+             --with-babeltrace\n\
+"));
+#else
+    fprintf_filtered (stream, _("\
+             --without-babeltrace\n\
+"));
+#endif
 }
 \f
 
-- 
1.7.7.6