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/codecov.sh | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'etc/codecov.sh') diff --git a/etc/codecov.sh b/etc/codecov.sh index 58ce44fc..5ecdc55f 100755 --- a/etc/codecov.sh +++ b/etc/codecov.sh @@ -1,10 +1,20 @@ #!/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 -bash <(curl -s https://codecov.io/bash) || echo "Codecov did not collect coverage" +GCOV=${GCOV:-gcov} + +bash <(curl -s https://codecov.io/bash) -x gcov || echo "Codecov did not collect coverage" echo 0 -- cgit v1.2.3-70-g09d2