From 19fcec84d8d7d21e796c7624e521b60d28ee21ed Mon Sep 17 00:00:00 2001 From: Daniel Baumann Date: Sun, 7 Apr 2024 20:45:59 +0200 Subject: Adding upstream version 16.2.11+ds. Signed-off-by: Daniel Baumann --- src/spdk/.githooks/pre-push | 81 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 81 insertions(+) create mode 100755 src/spdk/.githooks/pre-push (limited to 'src/spdk/.githooks/pre-push') diff --git a/src/spdk/.githooks/pre-push b/src/spdk/.githooks/pre-push new file mode 100755 index 000000000..fa9bfb928 --- /dev/null +++ b/src/spdk/.githooks/pre-push @@ -0,0 +1,81 @@ +#!/bin/sh +# Verify what is about to be pushed. Called by "git +# push" after it has checked the remote status, but before anything has been +# pushed. If this script exits with a non-zero status nothing will be pushed. +# +# This hook is called with the following parameters: +# +# $1 -- Name of the remote to which the push is being done +# $2 -- URL to which the push is being done +# +# If pushing without using a named remote those arguments will be equal. + +# +# + +rc=0 +SYSTEM=`uname -s` + +# Redirect output to stderr. +exec 1>&2 + +if [ "$SYSTEM" = "FreeBSD" ]; then + MAKE="gmake MAKE=gmake -j $(sysctl -a | grep -E -i 'hw.ncpu' | awk '{print $2}')" + COMP="clang" +else + MAKE="make -j $(nproc)" + COMP="gcc" +fi + +echo "Running make with $COMP ..." +echo "${MAKE} clean " > make.log +$MAKE clean >> make.log 2>&1 + +echo "${MAKE} CONFIG_DEBUG=n CONFIG_WERROR=y " >> make.log +$MAKE CONFIG_DEBUG=n CONFIG_WERROR=y >> make.log 2>&1 +rc=$? +if [ $rc -ne 0 ]; then + tail -20 make.log + echo "" + echo "ERROR make returned errors!" + echo "ERROR Fix the problem and use 'git commit' to update your changes." + echo "ERROR See `pwd`/make.log for more information." + echo "" + exit $rc +fi + +echo "${MAKE} SKIP_DPDK_BUILD=1 clean " >> make.log +$MAKE clean SKIP_DPDK_BUILD=1 >> make.log 2>&1 +echo "${MAKE} CONFIG_DEBUG=y CONFIG_WERROR=y SKIP_DPDK_BUILD=1 " >> make.log +$MAKE CONFIG_DEBUG=y CONFIG_WERROR=y SKIP_DPDK_BUILD=1 >> make.log 2>&1 +rc=$? +if [ $rc -ne 0 ]; then + tail -20 make.log + echo "" + echo "ERROR make returned errors!" + echo "ERROR Fix the problem and use 'git commit' to update your changes." + echo "ERROR See `pwd`/make.log for more information." + echo "" + exit $rc +fi + +echo "Running unittest.sh ..." +echo "./test/unit/unittest.sh" >> make.log +"./test/unit/unittest.sh" >> make.log 2>&1 +rc=$? +if [ $rc -ne 0 ]; then + tail -20 make.log + echo "" + echo "ERROR unittest returned errors!" + echo "ERROR Fix the problem and use 'git commit' to update your changes." + echo "ERROR See `pwd`/make.log for more information." + echo "" + exit $rc +fi + +echo "$MAKE clean " >> make.log +$MAKE clean >> make.log 2>&1 + +echo "Pushing to $1 $2" + +exit $rc -- cgit v1.2.3