aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorOliver Smith <osmith@sysmocom.de>2022-11-11 10:19:19 +0100
committerOliver Smith <osmith@sysmocom.de>2022-11-11 10:19:19 +0100
commitbd92ec72569534b643c50e96160c52f31dcfda3b (patch)
treee7abfbd2dec7e3fae948f8c30a984c1bdf54178d
parentef0d676741a623690c38f520ec35ca21d2d98cb0 (diff)
contrib/jenkins.sh: add missing 'make check'
-rwxr-xr-xcontrib/jenkins.sh1
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index 78bd53a..db92357 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -50,6 +50,7 @@ set -x
autoreconf --install --force
./configure --enable-sanitize --enable-werror --enable-external-tests $CONFIG
$MAKE $PARALLEL_MAKE
+$MAKE $PARALLEL_MAKE check || cat-testlogs.sh
DISTCHECK_CONFIGURE_FLAGS="--enable-external-tests $CONFIG" \
$MAKE $PARALLEL_MAKE distcheck \
|| cat-testlogs.sh