mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 06:05:01 +07:00
Build scripts (IDEA-CR-16991):
1) ability to install jre x86 together with jre64 (optional) 2) update jre x86 during major updates (2016.*->2017.1).
This commit is contained in:
+3
@@ -68,6 +68,9 @@ class PyCharmEduProperties extends PyCharmPropertiesBase {
|
||||
context.ant.copy(file: "$context.paths.projectHome/help/pycharm-eduhelp.jar", todir: "$targetDirectory/help",
|
||||
failonerror: false, quiet: true)
|
||||
}
|
||||
|
||||
@Override
|
||||
String getBaseDownloadUrlForJre() { "https://download.jetbrains.com/python" }
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user