pre-push.sh

#!/bin/bash
#
#
# Our "pre-push" hook.

RESULT=0

if [ -d ./fips ];
then
    echo "\n\nTesting with FIPS release code...\n\n"
    ./fips-check.sh
    RESULT=$?
    [ $RESULT -ne 0 ] && echo -e "\n\nFIPS build test failed" && exit 1
fi

[ $RESULT -ne 0 ] && echo "\nOops, your push failed\n" && exit 1

echo "\nPush tests passed!\n"
exit 0
script cleanup: use #!/bin/bash on all scripts that use "echo -e" (/bin/sh is sometimes a non-Bourne/non-POSIX shell, e.g. dash/ash, with no support for "echo -e"); fix whitespace. 2022-03-09 12:28:22 -06:00			`#!/bin/bash`
added a pre-push hook. move fips test to pre-push check 2015-07-30 14:24:45 -07:00			`#`
			`#`
			`# Our "pre-push" hook.`

			`RESULT=0`

remove autogen clone of fips repo; pre-push runs fips-check if fips directory exists 2015-07-30 16:33:14 -07:00			`if [ -d ./fips ];`
added a pre-push hook. move fips test to pre-push check 2015-07-30 14:24:45 -07:00			`then`
fix pre-push calling fips-check with unimplemented option 2015-07-30 14:32:16 -07:00			`echo "\n\nTesting with FIPS release code...\n\n"`
			`./fips-check.sh`
added a pre-push hook. move fips test to pre-push check 2015-07-30 14:24:45 -07:00			`RESULT=$?`
			`[ $RESULT -ne 0 ] && echo -e "\n\nFIPS build test failed" && exit 1`
			`fi`

			`[ $RESULT -ne 0 ] && echo "\nOops, your push failed\n" && exit 1`

			`echo "\nPush tests passed!\n"`
			`exit 0`