| #!/usr/bin/env bash | |
| set -e | |
| JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) | |
| source "$JDIR"/util.sh | |
| set -x | |
| # TODO add code coverage support | |
| if false && [[ $JOB_NAME == *"code-coverage" ]]; then | |
| gcovr --object-directory=build \ | |
| --output=build/coverage.xml \ | |
| --filter="$PWD/(core|tools)" \ | |
| --root=. \ | |
| --xml | |
| fi |