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

fixed: [IDEA-69141] config dir named .${PRODUCT_SETTINGS_DIR}

Browse Source
This commit is contained in:
Roman Chernyatchik
2011-05-16 00:31:29 -04:00
parent 4aa4c9a7f4
commit 27bbb3e359
2 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/build/pycharm.exe4j
+1 -1
View File
@@ -34,7 +34,7 @@
</text>
</splashScreen>
<java mainClass="com.intellij.idea.Main"
vmParameters="&quot;-Xbootclasspath/a:${EXE4J_EXEDIR}/../lib/boot.jar&quot; &quot;-Didea.properties.file=${IDEA_PROPERTIES}&quot; -Didea.platform.prefix=Python -Didea.no.jre.check=true &quot;-Didea.paths.selector=${PRODUCT_SETTINGS_DIR}&quot;"
vmParameters="&quot;-Xbootclasspath/a:${EXE4J_EXEDIR}/../lib/boot.jar&quot; &quot;-Didea.properties.file=${IDEA_PROPERTIES}&quot; -Didea.platform.prefix=Python -Didea.no.jre.check=true &quot;-Didea.paths.selector=__PRODUCT_SETTINGS_DIR__&quot;"
arguments=""
allowVMPassthroughParameters="true"
minVersion="1.6"
python/build/pycharm_build.gant
+1
View File
@@ -344,6 +344,7 @@ def buildExe() {
executeExternalAnt(
"config.file": "$home/python/build/pycharm.exe4j",
"output.file": "pycharm.exe",
"system_selector" : system_selector,
"$home/build/buildLauncher.xml")
}
else {