From 8294e8d702d3ef6fd9141d85ee47bef9c3fa26d3 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Tue, 17 Jul 2018 15:29:02 +0200 Subject: [PATCH] Switch to MPS 2018.1.5 --- samples/mpscore/.mps/vcs.xml | 2 +- samples/mpscore/build.xml | 53 ++++++++++++++++++------------------ 2 files changed, 28 insertions(+), 27 deletions(-) diff --git a/samples/mpscore/.mps/vcs.xml b/samples/mpscore/.mps/vcs.xml index cd597741..b2bdec2d 100644 --- a/samples/mpscore/.mps/vcs.xml +++ b/samples/mpscore/.mps/vcs.xml @@ -1,6 +1,6 @@ - + \ No newline at end of file diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 7487d7f8..6e93fa1b 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -5,7 +5,6 @@ - @@ -22,13 +21,13 @@ - + - + @@ -194,28 +193,28 @@ mps.build.number=${mps.build.number}${line.separator}mps.date=${mps.date}${line.separator}mps.build.vcs.number=${mps.build.vcs.number}${line.separator}mps.teamcity.buildConfName=${mps.teamcity.buildConfName}${line.separator}mps.idea.platform.build.number=${mps.idea.platform.build.number}${line.separator}mps.mps.build.counter=${mps.mps.build.counter}${line.separator}mpsBootstrapCore.version=${mpsBootstrapCore.version}${line.separator}typechecking-plugin.ci.build.num=${typechecking-plugin.ci.build.num} - + - + - + - + - + - + - + - + - + - + @@ -330,15 +329,15 @@ - + - + - + - + @@ -397,7 +396,7 @@ - + @@ -458,7 +457,7 @@ - + @@ -470,7 +469,7 @@ - + @@ -537,7 +536,7 @@ - + @@ -679,23 +678,25 @@ - + - + + + - + - + @@ -704,4 +705,4 @@ - + \ No newline at end of file