From 88f17bc621516ce6979000e5641fbd2cfbe64418 Mon Sep 17 00:00:00 2001 From: Darien Raymond Date: Thu, 17 Jan 2019 16:32:53 +0100 Subject: [PATCH] remove external directory in coverage report --- testing/coverage/coverall | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/testing/coverage/coverall b/testing/coverage/coverall index bcb60a0e0..163b27ce6 100755 --- a/testing/coverage/coverall +++ b/testing/coverage/coverall @@ -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