From d612eafe174e57bad9061af3ddf0a145fe359591 Mon Sep 17 00:00:00 2001 From: Garrett D'Amore Date: Fri, 11 Aug 2017 06:40:44 -0700 Subject: Use updated gcov tool. --- etc/coverage.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'etc/coverage.sh') 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 +# Copyright 2017 Capitar IT Group BV +# +# 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 -- cgit v1.2.3-70-g09d2