mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-81740 (detect 64-bit JRE in a Windows startup script)
This commit is contained in:
@@ -379,7 +379,9 @@ private layoutWin(Map args, String target) {
|
||||
fileset(dir: "$home/community/bin/win") {
|
||||
exclude(name: "breakgen*")
|
||||
}
|
||||
fileset(file: "$home/bin/yjpagent.dll")
|
||||
fileset(dir: "$home/bin") {
|
||||
include(name: "yjpagent*.dll")
|
||||
}
|
||||
}
|
||||
|
||||
dir("skeletons") {
|
||||
@@ -390,7 +392,7 @@ private layoutWin(Map args, String target) {
|
||||
}
|
||||
|
||||
winScripts(target, "$home/community", "pycharm.bat", args)
|
||||
winVMOptions(target, args.system_selector, "pycharm.exe")
|
||||
winVMOptions(target, args.system_selector, "pycharm.exe", "pycharm64.exe")
|
||||
|
||||
ant.copy(file: "$home/python/help/pycharmhelp.jar", todir: "$target/help", failonerror: false)
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user