From 8ed64a85cfa05f161692a72b8bc882e77fbd7422 Mon Sep 17 00:00:00 2001
From: scorrea <scorrea@rhrk.uni-kl.de>
Date: Wed, 24 Jun 2020 18:05:01 +0200
Subject: [PATCH] --coverage option

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 76dbafb4..ae825116 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,7 +20,7 @@ build:
         - rm -rf build
         - mkdir -p build
         - cd build
-        - cmake -Wl,-fprofile-arcs,-ftest-coverage ../DRAMSys
+        - cmake --coverage ../DRAMSys
         - make -j16
         - find . -name "*.o" -type f -delete
         - rm -rf ${CI_PROJECT_DIR}/coverage