diff options
| author | Garrett D'Amore <garrett@damore.org> | 2017-08-07 13:54:49 -0700 |
|---|---|---|
| committer | Garrett D'Amore <garrett@damore.org> | 2017-08-07 13:56:59 -0700 |
| commit | 124114c0a8add705d4c3affb6f602b0a36eb4237 (patch) | |
| tree | f820133b5e4a38579a026ed4f5ebe00ccf7b0493 /etc/codecov.sh | |
| parent | b02a4341a9214cc57587c300171824d79b346913 (diff) | |
| download | nng-124114c0a8add705d4c3affb6f602b0a36eb4237.tar.gz nng-124114c0a8add705d4c3affb6f602b0a36eb4237.tar.bz2 nng-124114c0a8add705d4c3affb6f602b0a36eb4237.zip | |
Richer CI support on Travis, including code coverage.
We use codecov.io; this seems to work well.
Diffstat (limited to 'etc/codecov.sh')
| -rwxr-xr-x | etc/codecov.sh | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/etc/codecov.sh b/etc/codecov.sh new file mode 100755 index 00000000..58ce44fc --- /dev/null +++ b/etc/codecov.sh @@ -0,0 +1,10 @@ +#!/bin/bash + +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" +echo 0 |
