contrib/jenkins.sh: add missing 'make check'
Change-Id: I09b7e2223d19c9e055ecddf3b2690cdea26b9be7
This commit is contained in:
parent
ef0d676741
commit
bd92ec7256
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue