fix metals on JDK 21

scala · Jun 8, 2023 · 63a883b · 63a883b
1 parent 61375d5
commit 63a883b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/proj/metals.conf b/proj/metals.conf
@@ -34,6 +34,8 @@ vars.proj.metals: ${vars.base} {
   extra.commands: ${vars.default-commands} [
     // CompletionSuite, HoverDocSuite: https://github.com/scalameta/metals/issues/4585
     // CompletionSnippetSuite: not investigated
+    // HoverTermSuite: https://github.com/scalameta/metals/issues/5318
     """set cross / unmanagedSources / excludeFilter := HiddenFileFilter || "CompletionSuite.scala" || "HoverDocSuite.scala" || "CompletionSnippetSuite.scala""""
+    """set javapc / unmanagedSources / excludeFilter := HiddenFileFilter || "HoverTermSuite.scala""""
   ]
 }