diff options
author | Pablo Barciela <[email protected]> | 2019-12-01 00:03:26 +0100 |
---|---|---|
committer | Pablo Barciela <[email protected]> | 2019-12-01 00:03:26 +0100 |
commit | 8efd6d8cb2eabfecea809e8dab9eb013c880e181 (patch) | |
tree | abefaca276f52296cbc3fa9fd1c8f99b67081bc4 | |
parent | 2b34062d1c53570831307b9a2882fff08c97a655 (diff) | |
download | engrampa-8efd6d8cb2eabfecea809e8dab9eb013c880e181.tar.bz2 engrampa-8efd6d8cb2eabfecea809e8dab9eb013c880e181.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 2c31134..6a8fb3b 100644 --- a/.travis.yml +++ b/.travis.yml @@ -133,7 +133,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 |