diff options
Diffstat (limited to 'etc/codecov.sh')
| -rwxr-xr-x | etc/codecov.sh | 12 |
1 files changed, 11 insertions, 1 deletions
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 <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 -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 |