From 85c6387b9c3d36f414f059bc764cbf32e658833a Mon Sep 17 00:00:00 2001
From: Him188 <Him188@mamoe.net>
Date: Wed, 24 Feb 2021 09:08:38 +0800
Subject: [PATCH] Configure JVM target for mirai-console-intellij
---
tools/intellij-plugin/build.gradle.kts | 2 ++
1 file changed, 2 insertions(+)
diff --git a/tools/intellij-plugin/build.gradle.kts b/tools/intellij-plugin/build.gradle.kts
index 4cf26eed7..1bf485283 100644
--- a/tools/intellij-plugin/build.gradle.kts
+++ b/tools/intellij-plugin/build.gradle.kts
@@ -37,6 +37,8 @@ intellij {
)
}
+project.extra.set("javaTarget", JavaVersion.VERSION_11) // see build.gradle.kts:213 in root project
+
tasks.getByName("publishPlugin", org.jetbrains.intellij.tasks.PublishTask::class) {
val pluginKey = project.findProperty("jetbrains.hub.key")?.toString()
if (pluginKey != null) {