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

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