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.
+2018-12-28  Tom Tromey  <tom@tromey.com>
+
+       * source-cache.c (get_language_name): Conditionally compile.
+
 2018-12-28  Tom Tromey  <tom@tromey.com>
 
        * jit.c (free_objfile_data): Only delete breakpoint if non-null.
 
   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.  */
 
   return nullptr;
 }
 
+#endif /* HAVE_SOURCE_HIGHLIGHT */
+
 /* See source-cache.h.  */
 
 bool