make/langtools/intellij/ant.xml
changeset 47216 71c04702a3d5
parent 40510 722c82994682
child 47217 72e3ae9a25eb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make/langtools/intellij/ant.xml	Tue Sep 12 19:03:39 2017 +0200
@@ -0,0 +1,11 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="AntConfiguration">
+    <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
+      <properties>
+	<property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" />
+      </properties>
+      <executeOn event="afterCompilation" target="post-make" />
+    </buildFile>
+  </component>
+</project>