diff options
| -rwxr-xr-x | ci/common/submit_coverage.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ci/common/submit_coverage.sh b/ci/common/submit_coverage.sh index c3e6be7f38..9c7887de0b 100755 --- a/ci/common/submit_coverage.sh +++ b/ci/common/submit_coverage.sh @@ -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 |