oops

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index f24f345..d40f9d0 100755 (executable)
--- 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 \