diff options
| -rw-r--r-- | .travis.yml | 2 | 
1 files changed, 1 insertions, 1 deletions
| diff --git a/.travis.yml b/.travis.yml index d5101ef..f212f79 100644 --- a/.travis.yml +++ b/.travis.yml @@ -122,7 +122,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 | 
