From 6ea49d8c76388010ab066f53544074347c4dce01 Mon Sep 17 00:00:00 2001
From: Daniel Hahler <git@thequod.de>
Date: Mon, 7 Oct 2019 13:01:14 +0200
Subject: [PATCH] ci: use cluacov for better performance (#11152)

---
 ci/before_script.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/ci/before_script.sh b/ci/before_script.sh
index 6a07c6747e..a0e87adb9e 100755
--- a/ci/before_script.sh
+++ b/ci/before_script.sh
@@ -35,9 +35,9 @@ fi
 # Compile dependencies.
 build_deps
 
-# Install luacov for Lua coverage.
+# Install cluacov for Lua coverage.
 if [[ "$USE_LUACOV" == 1 ]]; then
-  "${DEPS_BUILD_DIR}/usr/bin/luarocks" install luacov
+  "${DEPS_BUILD_DIR}/usr/bin/luarocks" install cluacov
 fi
 
 rm -rf "${LOG_DIR}"