From 8f20c50caa7fa008f5e6257ef0fc43620e3baeb1 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Mon, 7 Oct 2019 00:44:54 +0200
Subject: [PATCH] ci: submit_coverage: run luacov actually (#11169)

Apparently this got lost with #11127 / 77a551b65.
---
 ci/common/submit_coverage.sh | 3 +++
 1 file changed, 3 insertions(+)

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