civetweb/resources/coverity_check.sh

#! /bin/sh

ls src/civetweb.c
if [ "$?" = "0" ]; then
	echo "Building files for coverity check ..."
else
	echo "Run this script from the root directory of project!" 1>&2
	echo "username@hostname:/somewhere/civetweb$ ./resources/coverity_check.sh" 1>&2
	exit 1
fi

rm -rf cov_int/
make clean

../cov-analysis-linux64-7.6.0/bin/cov-build  --dir cov-int make WITH_IPV6=1 WITH_WEBSOCKET=1 WITH_LUA_SHARED=1

rm civetweb_coverity_check.tgz
tar czvf civetweb_coverity_check.tgz cov-int

echo
ls -la civetweb_coverity_check.tgz

if [ "$?" = "0" ]; then
	echo "... done"
        echo
else
	echo "No civetweb_coverity_check.tgz file" 1>&2
        echo
	exit 1
fi

exit 0