| Davide Pesavento | 956ac31 | 2016-09-20 19:11:30 +0200 | [diff] [blame^] | 1 | #!/usr/bin/env bash |
| 2 | set -e | ||||
| 3 | |||||
| 4 | JDIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) | ||||
| 5 | source "$JDIR"/util.sh | ||||
| 6 | |||||
| 7 | set -x | ||||
| 8 | |||||
| 9 | # TODO add code coverage support | ||||
| 10 | if false && [[ $JOB_NAME == *"code-coverage" ]]; then | ||||
| 11 | gcovr --object-directory=build \ | ||||
| 12 | --output=build/coverage.xml \ | ||||
| 13 | --filter="$PWD/(core|tools)" \ | ||||
| 14 | --root=. \ | ||||
| 15 | --xml | ||||
| 16 | fi | ||||