1 files changed, 9 insertions, 0 deletions
diff --git a/gdb/top.c b/gdb/top.c
index 60ca74d..9a1c258 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\