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:54:16 +0300 |
| commit | 97d66cc602ec5abfcb6fc6baaf3d6edbde4fcbfb (patch) | |
| tree | 6bc97ed1e2ae99f6f114786d56c033602fbf98ab | |
| parent | 05629c769a68b5953898adfc9d272e2db3ff930a (diff) | |
| download | gdb-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.
| -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 7f2d694..434d202 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, @@ -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\ |