MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

Use 'append' bootclasspath instead of 'prepend', that's faster.

Browse Source
This commit is contained in:
Maxim Shafirov
2008-07-29 18:05:23 +04:00
parent 9fdf823e19
commit 37de2911db
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/pycharm.bat
+1 -1
View File
@@ -31,7 +31,7 @@ IF NOT "%IDEA_PROPERTIES%" == "" set IDEA_PROPERTIES_PROPERTY=-Didea.properties.
SET ACC=
FOR /F "delims=" %%i in (%IDEA_HOME%\bin\pycharm.exe.vmoptions) DO call %IDEA_HOME%\bin\append.bat "%%i"
set REQUIRED_IDEA_JVM_ARGS=-Xbootclasspath/p:%IDEA_HOME%/lib/boot.jar -Didea.platform.prefix=Python %IDEA_PROPERTIES_PROPERTY% %REQUIRED_IDEA_JVM_ARGS%
set REQUIRED_IDEA_JVM_ARGS=-Xbootclasspath/a:%IDEA_HOME%/lib/boot.jar -Didea.platform.prefix=Python %IDEA_PROPERTIES_PROPERTY% %REQUIRED_IDEA_JVM_ARGS%
SET JVM_ARGS=%ACC% %REQUIRED_IDEA_JVM_ARGS%
SET OLD_PATH=%PATH%
python/build/release.xml
+1 -1
View File
@@ -139,7 +139,7 @@
fork="true"
args="traverseUI ${classes.dir}/search/searchableOptions.xml">
<jvmarg line="-ea -Didea.home.path=${idea.home} -Didea.system.path=${idea.system.path} -Didea.config.path=${idea.config.path} -Didea.platform.prefix=Python -Didea.load.plugins=Pythonid -Didea.no.jre.check=true" />
<jvmarg value="-Xbootclasspath/p:${idea.dir}/jdk15/lib/boot.jar"/>
<jvmarg value="-Xbootclasspath/a:${idea.dir}/jdk15/lib/boot.jar"/>
<classpath>
<path refid="classpath.lib"/>