From babed62be5951b8498a8f62911fb8eff98d68c19 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Mon, 25 Jan 2016 10:20:11 +0100
Subject: [PATCH] useless comment --

---
 tools/jenkins/DynamicAnalysis.sh | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/tools/jenkins/DynamicAnalysis.sh b/tools/jenkins/DynamicAnalysis.sh
index 6ae40a1646..f6dc8520b0 100755
--- a/tools/jenkins/DynamicAnalysis.sh
+++ b/tools/jenkins/DynamicAnalysis.sh
@@ -79,9 +79,6 @@ cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON -Denable_traci
       -Denable_smpi=ON -Denable_smpi_MPICH3_testsuite=ON -Denable_model-checking=ON \
       -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_ISP_testsuite=ON -Denable_coverage=ON $WORKSPACE
 
-# libdw seems to be too ancient on debian wheezy for model-checking.
-# We need to update the slave before activating model-checking here.
-
 make
 ctest -D ExperimentalStart || true
 ctest -D ExperimentalConfigure || true
-- 
2.20.1