Merge pull request #6181 from smarter/dotty-library-rename

dotty-library is called scala3-library now
This commit is contained in:
eugene yokota 2020-12-24 11:53:18 -05:00 committed by GitHub
commit 58d4ef41be
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions

View File

@ -179,7 +179,8 @@ private[sbt] class ClassLoaderCache(
}
override def apply(files: List[File]): ClassLoader = {
files match {
case d :: s :: Nil if d.getName.startsWith("dotty-library") =>
case d :: s :: Nil
if d.getName.startsWith("dotty-library") || d.getName.startsWith("scala3-library") =>
apply(files, classOf[org.jline.terminal.Terminal].getClassLoader)
case _ =>
val key = new Key(files)