From 1846374d00bf541741dacad5bb034d276774be31 Mon Sep 17 00:00:00 2001
From: Vincent Delecroix <vincent.delecroix@u-bordeaux.fr>
Date: Fri, 4 Sep 2020 11:56:24 +0200
Subject: [PATCH] test for redundant declarations in CI

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 68d5b1ad93..5818ef6d3d 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -24,7 +24,7 @@ install:
   - export LOCAL=$(pwd)/local
   - export LDFLAGS="-Wl,-rpath,$LOCAL/lib"
   - ./.build_dependencies
-  - ./configure --with-mpir=${LOCAL} --with-mpfr=${LOCAL} --prefix=${LOCAL}
+  - ./configure CFLAGS="-Wredundant-decls" --with-mpir=${LOCAL} --with-mpfr=${LOCAL} --prefix=${LOCAL}
   - ${MAKE}
   - if [[ "$TRAVIS_OS_NAME" == "osx" ]]; then otool -L libflint.dylib; fi
   - if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then