# HG changeset patch
# User davidb
# Date 1586890112 25200
# Node ID 2abd1acde716cabdda2c7e9629635f50bccc02db
# Parent  5ea54efa8e450df0fa226c8ef93c2087deaa8288
Fix KOTLIN_HOME paths.

diff -r 5ea54efa8e45 -r 2abd1acde716 build.xml
--- 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"/>
 
diff -r 5ea54efa8e45 -r 2abd1acde716 setup.sh
--- a/setup.sh	Tue Apr 14 11:46:23 2020 -0700
+++ b/setup.sh	Tue Apr 14 11:48:32 2020 -0700
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 export JRE_HOME="$(/usr/libexec/java_home)"
-export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.61"
+export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.61/libexec"
 
 export ANT_HOME="$HOME/java/apache-ant-1.10.1"
 if [[ "$PATH" != *$ANT_HOME/bin* ]]