From 11a0bd7097a5f8a8ac7dea6758886e7fbae41cc4 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 22 Jun 2021 13:12:04 +0200 Subject: [PATCH] Fix groovy's markup builder --- build.gradle | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/build.gradle b/build.gradle index 38e9673b..32ea4776 100644 --- a/build.gradle +++ b/build.gradle @@ -120,14 +120,14 @@ task generateUpdatePluginsXml { plugin( id: "jetbrains.mps.coderules" , url: baseUrl + "/$System.env.BUILD_NUMBER" + zip1 , version: "${version}" ) { - name { "MPS Coderules Typechecking" } - description { "Typechecking with Coderules (experimental)" } + name { mkp.yield("MPS Coderules Typechecking") } + description { mkp.yield("Typechecking with Coderules (experimental)") } } plugin( id: "jetbrains.mps.core.types" , url: baseUrl + "/$System.env.BUILD_NUMBER" + zip2 , version: "${version}" ) { - name { "MPS Core Types" } - description { "Types for core MPS languages (experimental)" } + name { mkp.yield("MPS Core Types") } + description { mkp.yield("Types for core MPS languages (experimental)") } } } }