2015-07-05 00:52:36 -07:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -o pipefail
|
|
|
|
|
|
|
|
# This will pass the environment variables down to a bash process which runs
|
|
|
|
# as $USER, while retaining the environment variables defined and belonging
|
|
|
|
# to secondary groups given above in usermod.
|
|
|
|
if [[ "${TRAVIS_OS_NAME}" == osx ]]; then
|
2017-03-31 06:02:53 -07:00
|
|
|
sudo -E su "${USER}" -c "ci/run_${CI_TARGET}.sh"
|
2015-07-05 00:52:36 -07:00
|
|
|
else
|
2017-03-31 06:02:53 -07:00
|
|
|
ci/run_${CI_TARGET}.sh
|
2015-07-05 00:52:36 -07:00
|
|
|
fi
|
2019-07-07 12:09:37 -07:00
|
|
|
|
|
|
|
if [[ -s "${GCOV_ERROR_FILE}" ]]; then
|
|
|
|
echo '=== Unexpected gcov errors: ==='
|
|
|
|
cat "${GCOV_ERROR_FILE}"
|
|
|
|
exit 1
|
|
|
|
fi
|