ci/script.sh


1
2
3
4
5
6
7
8
9
10
11
12

#!/usr/bin/env bash

set -e
set -o pipefail

ci/run_${CI_TARGET}.sh

if [[ -s "${GCOV_ERROR_FILE}" ]]; then
  echo '=== Unexpected gcov errors: ==='
  cat "${GCOV_ERROR_FILE}"
  exit 1
fi