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

index 2b3d620046f570f9b1111398263d00279b1c6207..c75ddf194a37dcadd70f44e8a08da11d68e9b03d 100644 (file)
@@ -23,9 +23,9 @@ jobs:
 
     - name: make
       env:
-         CFLAGS: -ftest-coverage -fprofile-arcs  
+         CFLAGS: -ftest-coverage -fprofile-arcs
          LDFLAGS: -ftest-coverage -fprofile-arcs
-      run: make
+      run: make CFLAGS="$CFLAGS -g -0o"
 
     - name: Tests
       env: