diff options
-rwxr-xr-x | tools/ci-build.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tools/ci-build.sh b/tools/ci-build.sh index 9bdda39..62ca7d4 100755 --- a/tools/ci-build.sh +++ b/tools/ci-build.sh @@ -96,12 +96,17 @@ fi NOCONFIGURE=1 ./autogen.sh +e=0 ( cd "$builddir" && "${srcdir}/configure" \ --enable-installed-tests \ --prefix="$prefix" \ ${NULL} -) +) || e=1 +if [ "x$e" != x0 ] || [ -n "$TRAVIS" ]; then + cat "$builddir/config.log" +fi +test "x$e" = x0 make="make -j${dbus_ci_parallel} V=1 VERBOSE=1" |