script.sh 490 B

1234567891011121314151617181920
  1. #!/usr/bin/env bash
  2. set -e
  3. set -o pipefail
  4. # This will pass the environment variables down to a bash process which runs
  5. # as $USER, while retaining the environment variables defined and belonging
  6. # to secondary groups given above in usermod.
  7. if [[ "${TRAVIS_OS_NAME}" == osx ]]; then
  8. sudo -E su "${USER}" -c "ci/run_${CI_TARGET}.sh"
  9. else
  10. ci/run_${CI_TARGET}.sh
  11. fi
  12. if [[ -s "${GCOV_ERROR_FILE}" ]]; then
  13. echo '=== Unexpected gcov errors: ==='
  14. cat "${GCOV_ERROR_FILE}"
  15. exit 1
  16. fi