Update coverage.sh

Signed-off-by: 蔡秀吉 <84045975+thc1006@users.noreply.github.com>
pull/31068/head
蔡秀吉 2 months ago committed by GitHub
parent 3efd5ccc39
commit d7a7cf46d2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

@ -29,7 +29,7 @@ generate_cover_data() {
done
echo "mode: $covermode" >"$profile"
grep -h -v "^mode:" "$dir"/*.cover >>"$profile"
grep -h -v "^mode:" "$coverdir"/*.cover >>"$profile"
}
generate_cover_data

Loading…
Cancel
Save