Include --with-guile in 'show configuration's output.

	* top.c (print_gdb_configuration) [HAVE_GUILE]: Print --with-guile
	or --without-guile, according to how GDB was built.

(cherry picked from commit 97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb)

2 files changed, 14 insertions, 0 deletions

diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index c65d1b2..6bcb679 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,8 @@
+2014-06-14  Eli Zaretskii  <eliz@gnu.org>
+
+	* top.c (print_gdb_configuration) [HAVE_GUILE]: Print --with-guile
+	or --without-guile, according to how GDB was built.
+
 2014-06-11  Joel Brobecker  <brobecker@adacore.com>
 
 	* version.in: Set GDB version number to 7.7.90.DATE-cvs.
diff --git a/gdb/top.c b/gdb/top.c
index 3488813..4a641ae 100644
--- a/gdb/top.c
+++ b/gdb/top.c
@@ -1188,6 +1188,15 @@ This GDB was configured as follows:\n\
              --with-python=%s%s\n\
 "), WITH_PYTHON_PATH, PYTHON_PATH_RELOCATABLE ? " (relocatable)" : "");
 #endif
+#if HAVE_GUILE
+  fprintf_filtered (stream, _("\
+             --with-guile\n\
+"));
+#else
+  fprintf_filtered (stream, _("\
+             --without-guile\n\
+"));
+#endif
 #ifdef RELOC_SRCDIR
   fprintf_filtered (stream, _("\
              --with-relocated-sources=%s\n\