Fix the build when GNU Source Highlight is not available
authorTom Tromey <tom@tromey.com>
Sat, 29 Dec 2018 04:07:24 +0000 (21:07 -0700)
committerTom Tromey <tom@tromey.com>
Sat, 29 Dec 2018 04:07:24 +0000 (21:07 -0700)
commit64c45143db4c550e19763edf97ca3441c78f9a05
tree5fdfeb56a4a0e6f3de0092cae3330de86dfe35bb
parentf9f981e5f64c3941ccae45c7a2911898eeade5cf
Fix the build when GNU Source Highlight is not available

The builder pointed out that, when GNU Source Highlight is not
available, get_language_name is not used.  This patch makes it
conditional, fixing the build problem.

gdb/ChangeLog
2018-12-28  Tom Tromey  <tom@tromey.com>

* source-cache.c (get_language_name): Conditionally compile.
gdb/ChangeLog
gdb/source-cache.c