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