From: degomme Date: Wed, 16 Mar 2016 10:37:43 +0000 (+0100) Subject: oops X-Git-Tag: v3_13~404^2 X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/eff5a5ea699d8587e0ed992f0fe7db9ec7df2487 oops --- 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 \