diff options
author | Eli Zaretskii <eliz@gnu.org> | 2014-06-14 20:54:16 +0300 |
---|---|---|
committer | Eli Zaretskii <eliz@gnu.org> | 2014-06-14 20:58:20 +0300 |
commit | 7228bb7c03b771526b684e06ca47b9337182963a (patch) | |
tree | fb71da9d0d5961ddbfd62bee64a4f2926a96d421 | |
parent | bccdac99f478e8c87f8fd05f91408c45586ce812 (diff) | |
download | gdb-7228bb7c03b771526b684e06ca47b9337182963a.zip gdb-7228bb7c03b771526b684e06ca47b9337182963a.tar.gz gdb-7228bb7c03b771526b684e06ca47b9337182963a.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.
(cherry picked from commit 97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb)
-rw-r--r-- | gdb/ChangeLog | 5 | ||||
-rw-r--r-- | gdb/top.c | 9 |
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. @@ -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\ |