fixed coverage with empty source

ctu-mrs · Dec 1, 2023 · c071ca7 · c071ca7
1 parent 7fc31af
commit c071ca7
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.ci/publish_coverage.sh b/.ci/publish_coverage.sh
@@ -43,7 +43,9 @@ ARGS=""
 
 for file in `ls $ARTIFACT_FOLDER | grep ".info"`; do
 
-  ARGS="${ARGS} -a ${ARTIFACT_FOLDER}/${file}"
+  if [ -s ${ARTIFACT_FOLDER}/${file} ]; then
+    ARGS="${ARGS} -a ${ARTIFACT_FOLDER}/${file}"
+  fi
 
 done