mirror of
https://github.com/lammertb/libhttp.git
synced 2025-12-22 04:02:04 +03:00
34 lines
663 B
Bash
34 lines
663 B
Bash
#! /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
|
|
|