Check JDK_16 and JDK_18 existence in build.xml

2017-06-24 00:15:35 +02:00
parent e42b151561
commit f96ef96078
1 changed files with 3 additions and 0 deletions
@@ -182,6 +182,9 @@
    <target name="init">
        <mkdir dir="${kotlin-home}"/>
        <mkdir dir="${kotlin-home}/lib"/>
+
+        <fail unless="env.JDK_16" message="JDK_16 environment variable is not set."/>
+        <fail unless="env.JDK_18" message="JDK_18 environment variable is not set."/>
    </target>

    <target name="prepare-dist">