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 9fdf18e..123bc28 100755 (executable)
--- 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
 
 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
   i=0
   for file in $files
   do