From eff5a5ea699d8587e0ed992f0fe7db9ec7df2487 Mon Sep 17 00:00:00 2001
From: degomme <augustin.degomme@unibas.ch>
Date: Wed, 16 Mar 2016 11:37:43 +0100
Subject: [PATCH 1/1] oops

---
 tools/jenkins/Coverage.sh | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index f24f345fc3..d40f9d090c 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -44,7 +44,6 @@ done
 
 cd $WORKSPACE/build
 
-make clean
 ctest -D ExperimentalStart || true
 
 cmake -Denable_documentation=OFF -Denable_lua=ON -Denable_java=ON \
-- 
2.20.1