ci: submit_coverage: run luacov actually (#11169)

Apparently this got lost with #11127 / 77a551b65.
This commit is contained in:
Daniel Hahler 2019-10-07 00:44:54 +02:00 committed by GitHub
parent c8fe2a8d23
commit 8f20c50caa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions

View File

@ -46,6 +46,9 @@ rm -f coverage.xml
# Upload Lua coverage (generated manually on AppVeyor/Windows).
if [ "$USE_LUACOV" = 1 ] && [ "$1" != "oldtest" ]; then
if [ -x "${DEPS_BUILD_DIR}/usr/bin/luacov" ]; then
"${DEPS_BUILD_DIR}/usr/bin/luacov"
fi
if ! "$codecov_sh" -f luacov.report.out -X gcov -X fix -Z -F "lua,${codecov_flags}"; then
echo "codecov upload failed."
fi