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

update.xml downloads Kotlin from internal TeamCity

Browse Source
This commit is contained in:
Dmitry Jemerov
2015-09-30 13:16:25 +02:00
parent ea24b548d6
commit ff92c604e2
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
build/download_kotlin.xml
+4 -3
View File
@@ -1,10 +1,11 @@
<project name="Download Kotlin" default="extract">
<property name="kotlin.build.type.id" value="Kotlin_M14_Idea142branch150versionNoTests"/>
<property name="kotlin.build.selector" value=".lastSuccessful"/>
<property name="kotlin.build.selector" value="status:SUCCESS"/>
<property name="kotlin.teamcity.host" value="https://teamcity.jetbrains.com"/>
<target name="get_latest">
<loadresource property="kotlin.build.number">
<url url="https://teamcity.jetbrains.com/guestAuth/app/rest/buildTypes/id:${kotlin.build.type.id}/builds/status:SUCCESS,count:1/number"/>
<url url="${kotlin.teamcity.host}/guestAuth/app/rest/buildTypes/id:${kotlin.build.type.id}/builds/${kotlin.build.selector},count:1/number"/>
</loadresource>
</target>
@@ -20,7 +21,7 @@
<delete dir="${basedir}" includes="kotlin-plugin*.zip"/>
<echo message="Downloading Kotlin build ${kotlin.build.number}"/>
<property name="kotlin.path" value="${basedir}/kotlin-plugin-${kotlin.build.number}.zip"/>
<get src="https://teamcity.jetbrains.com/guestAuth/repository/download/${kotlin.build.type.id}/${kotlin.build.number}/kotlin-plugin-${kotlin.build.number}.zip"
<get src="${kotlin.teamcity.host}/guestAuth/repository/download/${kotlin.build.type.id}/${kotlin.build.number}/kotlin-plugin-${kotlin.build.number}.zip"
dest="${kotlin.path}"/>
</target>