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

type error fixed

Browse Source
This commit is contained in:
nik
2016-02-01 12:28:00 +03:00
parent 6ded6d6f00
commit 717ee477cd
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/scripts/download_kotlin.gant
+1 -1
View File
@@ -243,7 +243,7 @@ private boolean downloadAndExtract(TeamCityBuildLocator buildLocator, String com
ant.patternset(includes: "Kotlin/lib/jps/**")
ant.globmapper(from: "Kotlin/lib/jps/*", to: "*")
}
def reasonToUpdate = getReasonToUpdate(communityHome, kotlincDir, classVersionOfCompiledClasses)
def reasonToUpdate = getReasonToUpdate(communityHome, new File(kotlincDir), classVersionOfCompiledClasses)
if (reasonToUpdate != null) {
projectBuilder.warning("Cannot use the downloaded Kotlin plugin: $reasonToUpdate")
}