From aea378b33173a54fcfdedfb4b0ca203cab62e750 Mon Sep 17 00:00:00 2001 From: degomme Date: Mon, 25 Jan 2016 12:24:52 +0100 Subject: [PATCH] This was useless, as it seems --- tools/jenkins/build.sh | 17 ----------------- 1 file changed, 17 deletions(-) diff --git a/tools/jenkins/build.sh b/tools/jenkins/build.sh index 87c311b94f..81beefdb5e 100755 --- a/tools/jenkins/build.sh +++ b/tools/jenkins/build.sh @@ -146,20 +146,3 @@ fi echo "XX" echo "XX Done. Return the results to cmake" echo "XX" - -if [ "$build_mode" = "DynamicAnalysis" ] -then - ctest -D ContinuousStart - ctest -D ContinuousConfigure - ctest -D ContinuousBuild - ctest -D ContinuousMemCheck - ctest -D ContinuousSubmit -fi - -ctest -D ContinuousStart -ctest -D ContinuousConfigure -ctest -D ContinuousBuild -ctest -D ContinuousTest -ctest -D ContinuousSubmit - -rm -rf `cat VERSION` -- 2.20.1