Don't use $KOTLIN_HOME if already manually set

This commit is contained in:
Erik C. Thauvin 2024-11-28 10:43:55 -08:00
parent 6305dd3de4
commit 53df02fa71
Signed by: erik
GPG key ID: 776702A6A2DA330E

View file

@ -406,10 +406,12 @@ public class CompileKotlinOperation extends AbstractOperation<CompileKotlinOpera
public CompileKotlinOperation fromProject(BaseProject project) {
project_ = project;
if (kotlinHome_ == null) {
var env = System.getenv("KOTLIN_HOME");
if (env != null) {
kotlinHome_ = new File(env);
}
}
workDir_ = new File(project.workDirectory().getAbsolutePath());