diff --git a/ci/travis-build.sh b/ci/travis-build.sh index 942c0e77..e31da81f 100755 --- a/ci/travis-build.sh +++ b/ci/travis-build.sh @@ -91,7 +91,7 @@ make="make -j${ci_parallel} V=1 VERBOSE=1" ${make} [ "$ci_test" = no ] || ${make} check || maybe_fail_tests cat test-suite.log || : -[ "$ci_test" = no ] || ${make} distcheck || maybe_fail_tests +[ "$ci_test" = no ] || ${make} distcheck DISTCHECK_CONFIGURE_FLAGS="${ci_configopts}" || maybe_fail_tests cat test-suite.log || : ${make} install DESTDIR=$(pwd)/DESTDIR