script.sh 188 B

12345678910111213
  1. #!/usr/bin/env bash
  2. set -e
  3. set -o pipefail
  4. ci/run_${CI_TARGET}.sh
  5. if [[ -s "${GCOV_ERROR_FILE}" ]]; then
  6. echo '=== Unexpected gcov errors: ==='
  7. cat "${GCOV_ERROR_FILE}"
  8. exit 1
  9. fi