Revert "update coverage"

This reverts commit 147f0a4.
Lynskylate · Jul 12, 2024 · 2470e6e · 2470e6e
1 parent 4417d68
commit 2470e6e
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/coverage.sh b/coverage.sh
@@ -34,12 +34,7 @@ mkdir -p ${OUTPUT_DIR}
 
 COVERAGE_DATA="${OUTPUT_DIR}/coverage.dat"
 cp bazel-out/_coverage/_coverage_report.dat "${COVERAGE_DATA}"
-if [[ -f $COVERAGE_DATA ]]; then
-  echo "Coverage data is in ${COVERAGE_DATA}"
-else
-  echo "Coverage data not found in ${COVERAGE_DATA}"
-  exit 1
-fi
+
 echo "Generating report..."
 
 genhtml --title ${PROJECT} --ignore-errors "source" ${COVERAGE_DATA} -o "${OUTPUT_DIR}"