diff options
Diffstat (limited to 'etc/coverage.sh')
| -rwxr-xr-x | etc/coverage.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/etc/coverage.sh b/etc/coverage.sh index 5afc0979..6f7355dc 100755 --- a/etc/coverage.sh +++ b/etc/coverage.sh @@ -1,13 +1,23 @@ #!/bin/bash +# Copyright 2017 Garrett D'Amore <garrett@damore.org> +# Copyright 2017 Capitar IT Group BV <info@capitar.com> +# +# This software is supplied under the terms of the MIT License, a +# copy of which should be located in the distribution where this +# file was obtained (LICENSE.txt). A copy of the license may also be +# found online at https://opensource.org/licenses/MIT. + if [ "${COVERAGE}" != ON ] then echo "Code coverage not enabled." exit 0 fi +GCOV=${GCOV:-gcov} + # capture all coverage info -lcov --directory . --capture --output-file coverage.info || exit 1 +lcov --gcov-tool ${GCOV} --directory . --capture --output-file coverage.info || exit 1 # filter out system information (C++ templates & inlines) lcov --remove coverage.info '/usr/*' --output-file coverage.info || exit 1 |