diff --git a/build/download_kotlin.xml b/build/download_kotlin.xml index 40cb54a22538..7b9c418b8dd9 100644 --- a/build/download_kotlin.xml +++ b/build/download_kotlin.xml @@ -1,12 +1,21 @@ - - - - + + + + + + + + - + + + + + + @@ -22,7 +31,10 @@ + dest="${kotlin.path}" ignoreerrors="true"/> + +