From 38777cda51ccce4fa1c0c74ccf18167b08dabd37 Mon Sep 17 00:00:00 2001 From: Fedor Isakov Date: Fri, 1 Feb 2019 14:15:04 +0100 Subject: [PATCH] Ensure failed test means failed build for all sample projects. --- samples/fitch/build.xml | 2 +- .../models/samples.fitch.build.mps | 17 +++++++++++++++++ samples/lambdacalc/build.xml | 2 +- .../models/samples.lamdacalc.build.mps | 11 +++++++++++ samples/mpscore/build.xml | 2 +- .../models/samples.mpscore.build.mps | 12 ++++++++++-- 6 files changed, 41 insertions(+), 5 deletions(-) diff --git a/samples/fitch/build.xml b/samples/fitch/build.xml index 153338b4..a0e50575 100644 --- a/samples/fitch/build.xml +++ b/samples/fitch/build.xml @@ -1221,7 +1221,7 @@ - + diff --git a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps index 60520620..68e03a7b 100644 --- a/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps +++ b/samples/fitch/solutions/samples.fitch.build/models/samples.fitch.build.mps @@ -18,10 +18,15 @@ + + + + + @@ -425,6 +430,18 @@ + + + + + + + + + + + + diff --git a/samples/lambdacalc/build.xml b/samples/lambdacalc/build.xml index bd087b8d..06693f0b 100644 --- a/samples/lambdacalc/build.xml +++ b/samples/lambdacalc/build.xml @@ -515,7 +515,7 @@ - + diff --git a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps index 20dbe010..35263b6e 100644 --- a/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps +++ b/samples/lambdacalc/solutions/samples.lambdacalc.build/models/samples.lamdacalc.build.mps @@ -18,10 +18,14 @@ + + + + @@ -272,6 +276,13 @@ + + + + + + + diff --git a/samples/mpscore/build.xml b/samples/mpscore/build.xml index 98775991..f6826ede 100644 --- a/samples/mpscore/build.xml +++ b/samples/mpscore/build.xml @@ -644,7 +644,7 @@ - + diff --git a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps index c00d4a79..a3a433f3 100644 --- a/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps +++ b/samples/mpscore/solutions/samples.mpscore.build/models/samples.mpscore.build.mps @@ -23,7 +23,9 @@ - + + + @@ -348,7 +350,13 @@ - + + + + + + +