mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
Ability to override VM options in Windows startup script
This commit is contained in:
committed by
Roman Shevchenko
parent
395d7defeb
commit
d79f66471a
@@ -41,7 +41,8 @@ IF NOT "%@@product_uc@@_PROPERTIES%" == "" SET IDE_PROPERTIES_PROPERTY="-Didea.p
|
||||
:: ---------------------------------------------------------------------
|
||||
:: Collect JVM options and properties.
|
||||
:: ---------------------------------------------------------------------
|
||||
SET VM_OPTIONS_FILE=%IDE_BIN_DIR%\@@vm_options@@.vmoptions
|
||||
SET VM_OPTIONS_FILE=%@@product_uc@@_VM_OPTIONS%
|
||||
IF "%VM_OPTIONS_FILE%" == "" SET VM_OPTIONS_FILE=%IDE_BIN_DIR%\@@vm_options@@.vmoptions
|
||||
SET ACC=
|
||||
FOR /F "usebackq delims=" %%i IN ("%VM_OPTIONS_FILE%") DO CALL "%IDE_BIN_DIR%\append.bat" "%%i"
|
||||
IF EXIST "%VM_OPTIONS_FILE%" SET ACC=%ACC% -Djb.vmOptionsFile="%VM_OPTIONS_FILE%"
|
||||
|
||||
Reference in New Issue
Block a user