remove external directory in coverage report

pull/1516/head
Darien Raymond 6 years ago
parent 57877d644e
commit 88f17bc621
No known key found for this signature in database
GPG Key ID: 7251FFA14BB18169

@ -37,7 +37,7 @@ for OUT_FILE in $(find ${V2RAY_COV} -name "*.out"); do
done
COV_SORTED=${V2RAY_COV}/coverallsorted.out
cat ${COVERAGE_FILE} | sort -t: -k1 | grep -vw "testing" | grep -v ".pb.go" | grep -vw "vendor" > ${COV_SORTED}
cat ${COVERAGE_FILE} | sort -t: -k1 | grep -vw "testing" | grep -v ".pb.go" | grep -vw "vendor" | grep -vw "external" > ${COV_SORTED}
echo "mode: set" | cat - ${COV_SORTED} > ${COVERAGE_FILE}
if [ "$FAIL" -eq 0 ]; then

Loading…
Cancel
Save