make/idea/idea.gmk
changeset 37976 9cc5debe0f47
parent 37861 53d85619d7fe
child 48667 f2344724a475
--- a/make/idea/idea.gmk	Thu May 19 17:24:50 2016 +0200
+++ b/make/idea/idea.gmk	Thu May 19 16:48:43 2016 +0100
@@ -35,5 +35,6 @@
 	$(ECHO) "BOOT_JDK=\"$(BOOT_JDK)\"" >> $(OUT)
 	$(ECHO) "CYGPATH=\"$(CYGPATH)\"" >> $(OUT)
 	$(ECHO) "SPEC=\"$(SPEC)\"" >> $(OUT)
+	$(ECHO) "JT_HOME=\"$(JT_HOME)\"" >> $(OUT)
 
 endif