]> Nishi Git Mirror - gwion.git/commitdiff
:wrench: Update
authorJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:21:14 +0000 (00:21 +0100)
committerJérémie Astor <astor.jeremie@wanadoo.fr>
Sun, 16 Feb 2020 23:21:14 +0000 (00:21 +0100)
.github/workflows/coverage.yml

index 08db5fcdd49c48876c37aae5fe647c6bd4b847fc..1a4dd816227bb98f282dced1cd7fdcd88363b5ef 100644 (file)
@@ -23,9 +23,8 @@ jobs:
 
     - name: make
       env:
-         CFLAGS: -ftest-coverage -fprofile-arcs
-         LDFLAGS: -ftest-coverage -fprofile-arcs
-      run: make CFLAGS="${CFLAGS} -g -O0"
+        USE_COVERAGE=1
+      run: make 
 
     - name: Tests
       env: