mirror of
https://gitflic.ru/project/openide/openide.git
synced 2025-12-15 02:59:33 +07:00
make sure that we use the configured registry value
GitOrigin-RevId: 8e833d3aaf47f8ef56a914f243da52379336b546
This commit is contained in:
committed by
intellij-monorepo-bot
parent
e23b871c3f
commit
403fc6d37d
@@ -123,8 +123,7 @@ import org.jetbrains.jps.model.java.compiler.JavaCompilers;
|
||||
import org.jvnet.winp.Priority;
|
||||
import org.jvnet.winp.WinProcess;
|
||||
|
||||
import javax.tools.JavaCompiler;
|
||||
import javax.tools.ToolProvider;
|
||||
import javax.tools.*;
|
||||
import java.awt.*;
|
||||
import java.io.File;
|
||||
import java.io.IOException;
|
||||
@@ -1542,7 +1541,7 @@ public final class BuildManager implements Disposable {
|
||||
}
|
||||
|
||||
// portable caches
|
||||
if (Registry.is("compiler.process.use.portable.caches") &&
|
||||
if (RegistryManager.getInstance().is("compiler.process.use.portable.caches") &&
|
||||
CompilerCacheConfigurator.isServerUrlConfigured(project) &&
|
||||
CompilerCacheStartupActivity.isLineEndingsConfiguredCorrectly()) {
|
||||
cmdLine.addParameter("-D" + ProjectStamps.PORTABLE_CACHES_PROPERTY + "=true");
|
||||
|
||||
Reference in New Issue
Block a user