# HG changeset patch
# User davidb
# Date 1586900104 25200
# Node ID e8d2a7e6f6c7d6ec116a57048865386e26d2db0b
# Parent 3f8409470fdf862e754ce295117277057939cb6c
So it builds under Windoze (at last!)
diff -r 3f8409470fdf -r e8d2a7e6f6c7 build.xml
--- a/build.xml Sun Apr 12 18:45:23 2020 -0700
+++ b/build.xml Tue Apr 14 14:35:04 2020 -0700
@@ -18,7 +18,7 @@
-
+
@@ -45,6 +45,7 @@
+
@@ -105,7 +106,7 @@
-
+
@@ -131,8 +132,23 @@
-
-
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
+
diff -r 3f8409470fdf -r e8d2a7e6f6c7 setup.sh
--- a/setup.sh Sun Apr 12 18:45:23 2020 -0700
+++ b/setup.sh Tue Apr 14 14:35:04 2020 -0700
@@ -1,7 +1,7 @@
#!/bin/bash
export JRE_HOME="$(/usr/libexec/java_home)"
-export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.71"
+export KOTLIN_HOME="/usr/local/Cellar/kotlin/1.3.71/libexec"
export ANT_HOME="$HOME/java/apache-ant-1.10.1"
if [[ "$PATH" != *$ANT_HOME/bin* ]]