diff options
author | Sergei Trofimovich <siarheit@google.com> | 2019-03-17 22:48:02 +0000 |
---|---|---|
committer | Tom Tromey <tromey@adacore.com> | 2019-04-19 14:05:47 -0600 |
commit | 189b8c2e104017600104457b97315da74a22f549 (patch) | |
tree | 49d678df172cb291de0261e10a8c389a63ebd001 /gdb/d-exp.y | |
parent | 8ecb59f8567956c1520b491ea31396363efcb1ef (diff) | |
download | gdb-189b8c2e104017600104457b97315da74a22f549.zip gdb-189b8c2e104017600104457b97315da74a22f549.tar.gz gdb-189b8c2e104017600104457b97315da74a22f549.tar.bz2 |
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".
Diffstat (limited to 'gdb/d-exp.y')
0 files changed, 0 insertions, 0 deletions