drift/tool/upload_coverage.sh

mirror of https://github.com/AMT-Cheif/drift.git
#!/usr/bin/env bash

if [ "$PKG" == "moor" ]; then
    pushd moor
    bash <(curl -s https://codecov.io/bash) -f lcov.info
fi
Upload coverage 2019-03-19 05:19:45 -07:00			`#!/usr/bin/env bash`

			`if [ "$PKG" == "moor" ]; then`
			`pushd moor`
Switch to codecov, also report on moor_generator 2019-03-23 03:32:31 -07:00			`bash <(curl -s https://codecov.io/bash) -f lcov.info`
Upload coverage 2019-03-19 05:19:45 -07:00			`fi`