From 2697ad5f3ae4ab2c6e9370e0684bf3245ca50dd5 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <degomme@wasabi>
Date: Tue, 8 Jan 2019 15:01:23 +0100
Subject: [PATCH 1/1] 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

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

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
-- 
2.20.1