From f96ef96078a6272175d86911444bac4b601e1e4a Mon Sep 17 00:00:00 2001
From: Alexander Udalov <Alexander.Udalov@jetbrains.com>
Date: Sat, 24 Jun 2017 00:15:35 +0200
Subject: [PATCH] Check JDK_16 and JDK_18 existence in build.xml

---
 build.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build.xml b/build.xml
index dfbd7d78af1..d828b15317a 100644
--- a/build.xml
+++ b/build.xml
@@ -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">