gdb/configure.ac: add --enable-source-highlight
authorSergei Trofimovich <siarheit@google.com>
Sun, 17 Mar 2019 22:48:02 +0000 (22:48 +0000)
committerTom Tromey <tromey@adacore.com>
Fri, 19 Apr 2019 20:09:56 +0000 (14:09 -0600)
commit4ae3a64b95432b580f98d457a2346003877f48d1
treeecb9e52a4017736ff7be5b725b1ee2af915dac94
parent014bc49bfcf15d53c65d956ed337ab3217431483
gdb/configure.ac: add --enable-source-highlight

Allow disabling source-highlight dependency autodetection even
it exists in the system. More details on problem of automatic
dependencies:
https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Automagic_dependencies

Noticed by Jeroen Roovers in https://bugs.gentoo.org/680238

* configure.ac: add --enable-source-highlight switch.
* configure: Regenerate.
* top.c (print_gdb_version): plumb --enable-source-highlight
status to "show configuration".

gdb/ChangeLog
2019-04-19  Sergei Trofimovich <siarheit@google.com>

* configure.ac: add --enable-source-highlight switch.
* configure: Regenerate.
* top.c (print_gdb_version): plumb --enable-source-highlight
status to "show configuration".
gdb/ChangeLog
gdb/configure
gdb/configure.ac
gdb/top.c