[PATCH v2] gdb/configure.ac: add --enable-source-highlight

[Tom Tromey]

>>>>> "Sergei" == Sergei Trofimovich <slyfox@gentoo.org> writes:

Sergei> From: Sergei Trofimovich <siarheit@google.com>
Sergei> Allow disabling source-highlight dependency autodetection even
Sergei> it exists in the system. More details on problem of automatic
Sergei> dependencies:
Sergei> https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Automagic_dependencies

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

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

I'm checking in this version.  Thanks for doing this.

I'm going to push it to the 8.3 branch as well, because this whole
feature will first appear in that release.

Tom