Revert Debug: Size of coverage file #50380 (#50945)

This commit is contained in:
John R Barker 2019-01-15 20:36:12 +00:00 committed by GitHub
parent 119b65f919
commit 721a28202e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -88,8 +88,6 @@ function cleanup
# upload coverage report to codecov.io only when using complete on-demand coverage
if [ "${COVERAGE}" ] && [ "${CHANGED}" == "" ]; then
for file in test/results/reports/coverage=*.xml; do
ls -l "${file}"
flags="${file##*/coverage=}"
flags="${flags%.xml}"
flags="${flags//=/,}"