Merge pull request #31379 from TerryHowe/fix-clean-up-from-coverage-script

fix: clean up coverage script temp file
pull/31295/head
George Jenkins 3 months ago committed by GitHub
commit 8aab4098b5
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -18,6 +18,7 @@ set -euo pipefail
covermode=${COVERMODE:-atomic}
coverdir=$(mktemp -d /tmp/coverage.XXXXXXXXXX)
trap 'rm -rf "${coverdir}"' EXIT
profile="${coverdir}/cover.out"
html=false
target="./..." # by default the whole repository is tested
@ -47,7 +48,7 @@ generate_cover_data() {
generate_cover_data
go tool cover -func "${profile}"
if [ "${html}" == "true" ] ; then
if [ "${html}" = "true" ] ; then
go tool cover -html "${profile}"
fi

Loading…
Cancel
Save