diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 7f2d694c5c..434d202cee 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-13  Tom Tromey  <tromey@redhat.com>
 
 	* cp-support.c (maint_cplus_command): Pass all_commands, not -1,
diff --git a/gdb/top.c b/gdb/top.c
index a137db5b16..722eb55ae1 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\