diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index b6e547b861..89d05f6180 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2013-04-17  Yao Qi  <yao@codesourcery.com>
+
+	* top.c (print_gdb_configuration): Print configure-time
+	parameter on using libbabeltrace or not.
+
 2013-04-16  Pedro Alves  <palves@redhat.com>
 
 	* copyright.py (EXCLUDE_LIST): Add gdb/common/glibc_thread_db.h.
diff --git a/gdb/top.c b/gdb/top.c
index 6a402bac86..480b67e986 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
 }