201: Use idea.plugins.compatible.build to avoid problems with build number

This commit is contained in:
Nikolay Krasko
2020-03-23 15:43:32 +03:00
parent a8c3e4aa6f
commit 148cbe87f4
@@ -6,7 +6,7 @@
package org.jetbrains.kotlin.cli.jvm.compiler
fun setupIdeaStandaloneExecution() {
System.getProperties().setProperty("idea.home.path", System.getProperty("java.io.tmpdir"))
System.getProperties().setProperty("idea.plugins.compatible.build", "201.6487")
System.getProperties().setProperty("project.structure.add.tools.jar.to.new.jdk", "false")
System.getProperties().setProperty("psi.track.invalidation", "true")
System.getProperties().setProperty("psi.incremental.reparse.depth.limit", "1000")