From: Augustin Degomme <degomme@wasabi>
Date: Tue, 8 Jan 2019 14:01:23 +0000 (+0100)
Subject: don't wrash with 0 sized files
X-Git-Tag: v3_22~645
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/2697ad5f3ae4ab2c6e9370e0684bf3245ca50dd5?hp=4b9e8701e4d7cb2a6a8b577af830c96f3d303f86

don't wrash with 0 sized files
jacoco is failing as of now: probably we don't close the jvm properly, and the filling of the file is never triggered
---

diff --git a/tools/jenkins/Coverage.sh b/tools/jenkins/Coverage.sh
index 9fdf18e574..123bc2841d 100755
--- a/tools/jenkins/Coverage.sh
+++ b/tools/jenkins/Coverage.sh
@@ -69,7 +69,7 @@ ctest -D ExperimentalCoverage || true
 unset JAVA_TOOL_OPTIONS
 if [ -f Testing/TAG ] ; then
 
-  files=$( find . -name "jacoco.exec" )
+  files=$( find . -size +1c -name "jacoco.exec" )
   i=0
   for file in $files
   do