diff --git a/.ci/ci-linux-build.sh b/.ci/ci-linux-build.sh index 8cfaf4d6ba..d2a0d01f87 100755 --- a/.ci/ci-linux-build.sh +++ b/.ci/ci-linux-build.sh @@ -31,6 +31,7 @@ if [ "$CI_BUILD_TYPE" = "" ]; then # Normal build test of all targets ./autogen.sh $DEFAULT_COPTS make -j $PARALLEL_JOBS + make -j $PARALLEL_JOBS check-build make -j $PARALLEL_JOBS examples make -j $PARALLEL_JOBS benchmark fi