diff options
| author | Pablo Barciela <[email protected]> | 2020-01-11 23:56:31 +0100 |
|---|---|---|
| committer | Pablo Barciela <[email protected]> | 2020-01-11 23:56:31 +0100 |
| commit | 391036cb417a564ddcc3a8438a0c0659dd9ba2a1 (patch) | |
| tree | ef5b50791daea8f3d4014da13ff17aa2d1b2e59b | |
| parent | ead4c3415da8acbbcc61d06365e0c83e8da089fb (diff) | |
| download | pluma-391036cb417a564ddcc3a8438a0c0659dd9ba2a1.tar.bz2 pluma-391036cb417a564ddcc3a8438a0c0659dd9ba2a1.tar.xz | |
Travis CI: add '-Wredundant-decls' to 'CFLAGS' variable
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 981d80e2..dc4ba3d9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -155,7 +155,7 @@ requires: - yelp-tools variables: - - CFLAGS="-Wall -Werror=format-security" + - CFLAGS="-Wall -Werror=format-security -Wredundant-decls" - 'CHECKERS=" -enable-checker deadcode.DeadStores -enable-checker alpha.deadcode.UnreachableCode |