mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
updated EDU script as part of preventing stop TC server-side checkout.
This commit is contained in:
@@ -116,6 +116,10 @@ target('default': "Build artifacts") {
|
||||
}
|
||||
|
||||
bundledJDKs()
|
||||
//EDU installation with a custom page dialog
|
||||
ant.copy(file: "$ch/python/edu/build/desktop.ini", tofile: "$ch/build/conf/nsis/desktop.ini", overwrite: "true")
|
||||
ant.copy(file: "$ch/python/edu/build/idea.nsi", tofile: "$ch/build/conf/nsis/idea.nsi", overwrite: "true")
|
||||
|
||||
ant.patternset(id: "resources.included") {
|
||||
include(name: "**/*.properties")
|
||||
include(name: "fileTemplates/**/*")
|
||||
|
||||
Reference in New Issue
Block a user