#!/usr/bin/env bash set -e set -o pipefail ci/run_tests.sh if [[ -s "${GCOV_ERROR_FILE}" ]]; then echo '=== Unexpected gcov errors: ===' cat "${GCOV_ERROR_FILE}" exit 1 fi