[FYI] Fix the build when GNU Source Highlight is not available

Message ID 20181229041104.19544-1-tom@tromey.com
State New, archived
Headers

Commit Message

Tom Tromey Dec. 29, 2018, 4:11 a.m. UTC
  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      | 4 ++++
 gdb/source-cache.c | 4 ++++
 2 files changed, 8 insertions(+)
  

Patch

diff --git a/gdb/source-cache.c b/gdb/source-cache.c
index 56851806e4..f1715523b1 100644
--- a/gdb/source-cache.c
+++ b/gdb/source-cache.c
@@ -108,6 +108,8 @@  source_cache::extract_lines (const struct source_text &text, int first_line,
   return false;
 }
 
+#ifdef HAVE_SOURCE_HIGHLIGHT
+
 /* Return the Source Highlight language name, given a gdb language
    LANG.  Returns NULL if the language is not known.  */
 
@@ -160,6 +162,8 @@  get_language_name (enum language lang)
   return nullptr;
 }
 
+#endif /* HAVE_SOURCE_HIGHLIGHT */
+
 /* See source-cache.h.  */
 
 bool