From 968fa9d8c93a65a3d2ebac3712a8e00a3cec18e8 Mon Sep 17 00:00:00 2001
From: Stephane Del Pino <stephane.delpino44@gmail.com>
Date: Tue, 12 Jun 2018 11:02:57 +0200
Subject: [PATCH] moved coverage/coverage.html to coverage/index.html

---
 CMakeLists.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index d040d874b..686c4aa9d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -187,7 +187,7 @@ if("${CMAKE_BUILD_TYPE}" STREQUAL "Coverage")
     ALL
     COMMAND ${CMAKE_COMMAND} -E remove_directory "${PASTIS_BINARY_DIR}/coverage"
     COMMAND ${CMAKE_COMMAND} -E make_directory "${PASTIS_BINARY_DIR}/coverage"
-    COMMAND ${GCOVR} ${GCOVR_OPTIONS} --delete --html --html-details -o "${PASTIS_BINARY_DIR}/coverage/coverage.html"
+    COMMAND ${GCOVR} ${GCOVR_OPTIONS} --delete --html --html-details -o "${PASTIS_BINARY_DIR}/coverage/index.html"
     DEPENDS coverage
     COMMENT "Building coverage html report."
     WORKING_DIRECTORY "${PASTIS_BINARY_DIR}"
-- 
GitLab