mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
choose JVM for build process in predictable way if there are several JDK of same version in the project
This commit is contained in:
@@ -913,7 +913,7 @@ public class BuildManager implements Disposable {
|
||||
int sdkMinorVersion = 0;
|
||||
JavaSdkVersion sdkVersion = null;
|
||||
|
||||
final Set<Sdk> candidates = new HashSet<Sdk>();
|
||||
final Set<Sdk> candidates = new LinkedHashSet<Sdk>();
|
||||
final Sdk defaultSdk = ProjectRootManager.getInstance(project).getProjectSdk();
|
||||
if (defaultSdk != null && defaultSdk.getSdkType() instanceof JavaSdkType) {
|
||||
candidates.add(defaultSdk);
|
||||
|
||||
Reference in New Issue
Block a user