diff options
Diffstat (limited to 'gdb/top.c')
| -rw-r--r-- | gdb/top.c | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gdb/top.c b/gdb/top.c index 60ca74da253..9a1c258d3f7 100644 --- a/gdb/top.c +++ b/gdb/top.c @@ -1450,6 +1450,15 @@ This GDB was configured as follows:\n\ --without-guile\n\ ")); #endif +#if HAVE_SOURCE_HIGHLIGHT + fprintf_filtered (stream, _("\ + --enable-source-highlight\n\ +")); +#else + fprintf_filtered (stream, _("\ + --disable-source-highlight\n\ +")); +#endif #ifdef RELOC_SRCDIR fprintf_filtered (stream, _("\ --with-relocated-sources=%s\n\ |