IDEA version for bootstrapping

Build markdown every time (again).
This commit is contained in:
Ilya Gorbunov
2016-01-29 17:28:55 +03:00
parent 1cef327880
commit c763b592a5
+3 -1
View File
@@ -2,7 +2,7 @@
<property name="automerge_dummy" value="This property is used to trick git merge. Do not delete empty lines around."/>
<property name="ideaVersion" value="143.2072"/>
<property name="idea.kotlin.branch" value="rc"/>
<property name="idea.kotlin.branch" value="rr/stdlib/inlineOnly"/>
<property name="kotlin.bootstrap.branch" value=""/>
@@ -412,6 +412,8 @@
<equals arg1="${markdown.abi.incompatible}" arg2="0"/>
</not>
</condition>
<!-- remove after bootstrapping markdown -->
<property name="markdown.need.recompile" value="true" />
<sequential if:set="markdown.need.recompile">
<echo message="Recompiling intellij-markdown manually"/>