mempool: fix slow allocation of large pools

[dpdk.git] / .ci / linux-build.sh

diff --git a/.ci/linux-build.sh b/.ci/linux-build.sh
index d5ad919d140f80a60243f30dd4c3fdfbe05bc615..ccc3a7ccd9769b2ac41b7ed514b3be96fca42177 100755 (executable)
--- a/.ci/linux-build.sh
+++ b/.ci/linux-build.sh
@@ -19,12 +19,21 @@ if [ "$AARCH64" = "1" ]; then
     OPTS="$OPTS --cross-file config/arm/arm64_armv8_linux_gcc"
 fi
 
+if [ "$BUILD_DOCS" = "1" ]; then
+    OPTS="$OPTS -Denable_docs=true"
+fi
+
+if [ "$BUILD_32BIT" = "1" ]; then
+    OPTS="$OPTS -Dc_args=-m32 -Dc_link_args=-m32"
+    export PKG_CONFIG_LIBDIR="/usr/lib32/pkgconfig"
+fi
+
 OPTS="$OPTS --default-library=$DEF_LIB"
 meson build --werror -Dexamples=all $OPTS
 ninja -C build
 
-if [ "$BUILD_DOCS" = "1" ]; then
-    ninja -C build doc
+if [ "$AARCH64" != "1" ]; then
+    devtools/test-null.sh
 fi
 
 if [ "$RUN_TESTS" = "1" ]; then