diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/coverage.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/coverage.sh b/tools/coverage.sh index b41c66e..870e1f9 100755 --- a/tools/coverage.sh +++ b/tools/coverage.sh @@ -4,8 +4,9 @@ set -e PROJ_ROOT=$(git rev-parse --show-toplevel) cd $PROJ_ROOT -HTML_DIR=build/coverage/html +HTML_DIR=coverage/html ctest --test-dir build/test -j8 +cd build mkdir -p ${HTML_DIR} -gcovr --exclude-throw-branches --exclude build/_deps/ --exclude test -r . --html-details ${HTML_DIR}/gcovr_report.html +gcovr --exclude-throw-branches --exclude _deps/ --exclude ../test -r . --html-details ${HTML_DIR}/gcovr_report.html |