coverage flags changed

2020-06-24 18:35:50 +02:00
parent 8ed64a85cf
commit 5a75a62760
2 changed files with 7 additions and 1 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,7 +20,7 @@ build:
        - rm -rf build
        - mkdir -p build
        - cd build
-        - cmake --coverage ../DRAMSys
+        - cmake ../DRAMSys
        - make -j16
        - find . -name "*.o" -type f -delete
        - rm -rf ${CI_PROJECT_DIR}/coverage