Dundar Goc
bb1a464467
It's a leftover artifact that currently just acts as an unnecessary intermediary script that calls the Makefile. It can be replaced by just calling the Makefile directly.
13 lines
181 B
Bash
Executable File
13 lines
181 B
Bash
Executable File
#!/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
|