make/idea/template/ant.xml
author mcimadamore
Tue, 31 Jul 2018 16:49:51 +0100
changeset 51266 f8696e0ab9b7
parent 48667 f2344724a475
child 51565 7e5f08c619e3
permissions -rw-r--r--
8208524: IntelliJ support broken since 2018.2 Summary: Move build.xml out of .idea folder Reviewed-by: stuefe
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
37861
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     1
<?xml version="1.0" encoding="UTF-8"?>
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     2
<project version="4">
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     3
  <component name="AntConfiguration">
51266
f8696e0ab9b7 8208524: IntelliJ support broken since 2018.2
mcimadamore
parents: 48667
diff changeset
     4
    <buildFile url="file://$PROJECT_DIR$/build/.idea-support/build.xml">
37861
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     5
      <properties>
47217
72e3ae9a25eb 8187444: Forest Consolidation: Make build work
erikj
parents: 37976
diff changeset
     6
        <property name="intellij.ismake" value="$IsMake$" />
72e3ae9a25eb 8187444: Forest Consolidation: Make build work
erikj
parents: 37976
diff changeset
     7
        <property name="build.target.dir" value="specDir" /> <!-- this will be replaced -->
37861
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     8
        <property name="module.name" value="java.base" /> <!-- this will be replaced -->
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
     9
      </properties>
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
    10
      <executeOn event="afterCompilation" target="post-make" />
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
    11
    </buildFile>
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
    12
  </component>
53d85619d7fe 8074716: IntelliJ IDEA project support
chegar
parents:
diff changeset
    13
</project>