| #! /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 |
| |