Merge pull request #4679 from eatkins/rt-jar

Don't ever invalidate rt.jar
This commit is contained in:
eugene yokota 2019-05-14 22:13:45 -04:00 committed by GitHub
commit 15b4befa9c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -84,6 +84,7 @@ private[sbt] object ExternalHooks {
case _ =>
javaHome match {
case Some(h) if file.toPath.startsWith(h) => None
case _ if file.getName == "rt.jar" => None
case _ => Some(file)
}
}