make/langtools/intellij/build.xml
changeset 47216 71c04702a3d5
parent 40510 722c82994682
child 47217 72e3ae9a25eb
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/make/langtools/intellij/build.xml	Tue Sep 12 19:03:39 2017 +0200
@@ -0,0 +1,12 @@
+<!-- importing.xml -->
+<project name="langtools" basedir="..">
+
+    <script language="javascript" classpath=".idea/classes">
+        var LangtoolsLogger = Java.type("idea.LangtoolsIdeaAntLogger");
+        new LangtoolsLogger(project)
+    </script>
+
+    <import file="../make/build.xml"/>
+
+    <target name="post-make" depends="clean, build-all-tools"/>
+</project>