diff build.xml @ 2:2abd1acde716

Fix KOTLIN_HOME paths.
author davidb
date Tue, 14 Apr 2020 11:48:32 -0700
parents 895aa9a8d628
children
line wrap: on
line diff
--- a/build.xml	Tue Apr 14 11:46:23 2020 -0700
+++ b/build.xml	Tue Apr 14 11:48:32 2020 -0700
@@ -18,7 +18,7 @@
   <env-require name="KOTLIN_HOME"/>
 
   <!-- define the kotlin task -->
-  <property name="kotlin.lib" value="${env.KOTLIN_HOME}/libexec/lib"/>
+  <property name="kotlin.lib" value="${env.KOTLIN_HOME}/lib"/>
   <typedef resource="org/jetbrains/kotlin/ant/antlib.xml"
            classpath="${kotlin.lib}/kotlin-ant.jar"/>