diff --git a/.travis/build.sh b/.travis/build.sh index 4df618ba08f..ef712d0bd4d 100755 --- a/.travis/build.sh +++ b/.travis/build.sh @@ -99,7 +99,7 @@ else fi if [ "$TESTSUITE" ] && [ "$CC" != "clang" ]; then - if ! make distcheck; then + if ! make distcheck RECHECK=yes; then # testsuite.log is necessary for debugging. cat */_build/tests/testsuite.log exit 1