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

index 280639437e4453ac5dda7c1042b479af285c6e6d..ac70958a75348e2b891f3f18a712b25d6999f56a 100644 (file)
@@ -25,7 +25,7 @@ jobs:
       env:
          CFLAGS: -ftest-coverage -fprofile-arcs
          LDFLAGS: -ftest-coverage -fprofile-arcs
-      run: make CFLAGS="$CFLAGS -g -Oo"
+      run: make CFLAGS="$CFLAGS -g -O0"
 
     - name: Tests
       env: