aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Hahler <git@thequod.de>2019-10-07 00:44:54 +0200
committerGitHub <noreply@github.com>2019-10-07 00:44:54 +0200
commit8f20c50caa7fa008f5e6257ef0fc43620e3baeb1 (patch)
tree9f3b10aa568b1034c27517b8ce746f694aa2cdc4
parentc8fe2a8d23978b1faf9f03af476dddbccf0c76f7 (diff)
downloadrneovim-8f20c50caa7fa008f5e6257ef0fc43620e3baeb1.tar.gz
rneovim-8f20c50caa7fa008f5e6257ef0fc43620e3baeb1.tar.bz2
rneovim-8f20c50caa7fa008f5e6257ef0fc43620e3baeb1.zip
ci: submit_coverage: run luacov actually (#11169)
Apparently this got lost with #11127 / 77a551b65.
-rwxr-xr-xci/common/submit_coverage.sh3
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