From d79f66471a5feeba2529669c5859bd942800674d Mon Sep 17 00:00:00 2001 From: Eugene Petrenko Date: Tue, 2 Jul 2013 17:31:02 +0200 Subject: [PATCH] Ability to override VM options in Windows startup script --- bin/scripts/win/idea.bat | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/bin/scripts/win/idea.bat b/bin/scripts/win/idea.bat index ad995b27078a..43758029f0bd 100644 --- a/bin/scripts/win/idea.bat +++ b/bin/scripts/win/idea.bat @@ -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%"