From: Jérémie Astor Date: Sun, 16 Feb 2020 23:16:21 +0000 (+0100) Subject: :wrench: coverage build options X-Git-Tag: nightly~1895 X-Git-Url: http://10.10.0.4:5575/?a=commitdiff_plain;h=13605ff1bb77a3b930d29542530b8bfd99d7faae;p=gwion.git :wrench: coverage build options --- diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml index c75ddf19..28063943 100644 --- a/.github/workflows/coverage.yml +++ b/.github/workflows/coverage.yml @@ -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: