ci: use cluacov for better performance (#11152)

This commit is contained in:
Daniel Hahler 2019-10-07 13:01:14 +02:00 committed by GitHub
parent 23ba875b82
commit 6ea49d8c76
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 2 deletions

View File

@ -35,9 +35,9 @@ fi
# Compile dependencies. # Compile dependencies.
build_deps build_deps
# Install luacov for Lua coverage. # Install cluacov for Lua coverage.
if [[ "$USE_LUACOV" == 1 ]]; then if [[ "$USE_LUACOV" == 1 ]]; then
"${DEPS_BUILD_DIR}/usr/bin/luarocks" install luacov "${DEPS_BUILD_DIR}/usr/bin/luarocks" install cluacov
fi fi
rm -rf "${LOG_DIR}" rm -rf "${LOG_DIR}"