aboutsummaryrefslogtreecommitdiff
path: root/gdb/top.c
diff options
context:
space:
mode:
authorEli Zaretskii <eliz@gnu.org>2014-06-14 20:54:16 +0300
committerEli Zaretskii <eliz@gnu.org>2014-06-14 20:54:16 +0300
commit97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb (patch)
tree6bc97ed1e2ae99f6f114786d56c033602fbf98ab /gdb/top.c
parent05629c769a68b5953898adfc9d272e2db3ff930a (diff)
downloadgdb-97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb.zip
gdb-97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb.tar.gz
gdb-97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb.tar.bz2
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.
Diffstat (limited to 'gdb/top.c')
-rw-r--r--gdb/top.c9
1 files changed, 9 insertions, 0 deletions
diff --git a/gdb/top.c b/gdb/top.c
index a137db5..722eb55 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\