aboutsummaryrefslogtreecommitdiff
path: root/ci/script.sh
blob: be01b045f74d7c567a21877146f5eee3e5df36f7 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
#!/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