Merge "Update releng/global-jjb repository information"

[releng/builder.git] / jjb / opflex / include-raw-opflex-build.sh

diff --git a/jjb/opflex/include-raw-opflex-build.sh b/jjb/opflex/include-raw-opflex-build.sh
index 8e56a5d75246180b384d89b7b2846e5e53a9ece9..bacd747fbf0e41bae9963979c266214426e63c72 100644 (file)
--- a/jjb/opflex/include-raw-opflex-build.sh
+++ b/jjb/opflex/include-raw-opflex-build.sh
@@ -28,10 +28,10 @@ pushd libopflex
 ./autogen.sh
 ./configure --prefix="$ROOT" \
     --with-buildversion=$BUILD_NUMBER \
-    CPPFLAGS="-isystem $ROOT/include"
+    CPPFLAGS="-isystem $ROOT/include" \
     CXXFLAGS="-Wall"
 make -j8
-make check
+if ! make check; then find . -name test-suite.log -exec cat {} \; && false; fi
 make install
 make dist
 popd
@@ -56,6 +56,6 @@ pushd agent-ovs
     CPPFLAGS="-isystem $ROOT/include" \
     CXXFLAGS="-Wall"
 make -j8
-make check
+if ! make check; then find . -name test-suite.log -exec cat {} \; && false; fi
 make dist
 popd