mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-149864 Switch boot JDK on Windows shouldn't appear since unavailable
Updated idea.bat to handle bundled jdk
This commit is contained in:
@@ -6,12 +6,18 @@
|
||||
|
||||
:: ---------------------------------------------------------------------
|
||||
:: Locate a JDK installation directory which will be used to run the IDE.
|
||||
:: Try (in order): @@product_uc@@_JDK, ..\jre, JDK_HOME, JAVA_HOME.
|
||||
:: Try (in order): @@product_uc@@_JDK, @@vm_options@@.jdk, ..\jre, JDK_HOME, JAVA_HOME.
|
||||
:: ---------------------------------------------------------------------
|
||||
IF EXIST "%@@product_uc@@_JDK%" SET JDK=%@@product_uc@@_JDK%
|
||||
IF NOT "%JDK%" == "" GOTO jdk
|
||||
SET USER_JDK_FILE=%USERPROFILE%\.@@system_selector@@\config\@@vm_options@@.jdk
|
||||
IF EXIST "%USER_JDK_FILE%" set/pJDK=<%USER_JDK_FILE%
|
||||
IF EXIST "%USER_JDK_FILE%" SET/pJDK=<%USER_JDK_FILE%
|
||||
IF "%JDK%" == "" GOTO jdk0
|
||||
IF EXIST "%JDK%" GOTO jdk
|
||||
SET JDK=%~dp0\..\%JDK%
|
||||
GOTO jdk
|
||||
|
||||
:jdk0
|
||||
IF NOT "%JDK%" == "" GOTO jdk
|
||||
IF EXIST "%~dp0\..\jre" SET JDK=%~dp0\..\jre
|
||||
IF NOT "%JDK%" == "" GOTO jdk
|
||||
|
||||
Reference in New Issue
Block a user