etc/codecov.sh


1
2
3
4
5
6
7
8
9
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