make/langtools/intellij/ant.xml
changeset 47217 72e3ae9a25eb
parent 47216 71c04702a3d5
child 51266 f8696e0ab9b7
--- a/make/langtools/intellij/ant.xml	Tue Sep 12 19:03:39 2017 +0200
+++ b/make/langtools/intellij/ant.xml	Tue Sep 12 19:03:56 2017 +0200
@@ -3,7 +3,8 @@
   <component name="AntConfiguration">
     <buildFile url="file://$PROJECT_DIR$/.idea/build.xml">
       <properties>
-	<property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" />
+	    <property name="langtools.jdk.home" value="@IDEA_TARGET_JDK@" />
+        <property name="intellij.ismake" value="$IsMake$" />
       </properties>
       <executeOn event="afterCompilation" target="post-make" />
     </buildFile>