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

Fix EduEdition build (take 4)

Browse Source
This commit is contained in:
Dmitry Trofimov
2014-08-04 17:18:54 +02:00
parent 4442c9dbd1
commit 46e6544cdb
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/edu/build/pycharm_edu_build.gant
+1 -1
View File
@@ -29,7 +29,7 @@ setProperty("pythonCommunityHome", "$home/python")
setProperty("pythonEduHome", "$home/python/edu")
// load ApplicationInfo.xml properties
ant.xmlproperty(file: "$pythonCommunityHome/resources/idea/PyCharmEduApplicationInfo.xml", collapseAttributes: "true")
ant.xmlproperty(file: "$pythonEduHome/resources/idea/PyCharmEduApplicationInfo.xml", collapseAttributes: "true")
setProperty("system_selector", "PyCharm${p("component.version.major")}0")
setProperty("dryRun", false)