1#! /bin/sh
2
3# check if we use the correct directory
4ls src/civetweb.c
5if [ "$?" = "0" ]; then
6	echo "Building files for coverity check ..."
7else
8	echo "Run this script from the root directory of project!" 1>&2
9	echo "username@hostname:/somewhere/civetweb$ ./resources/coverity_check.sh" 1>&2
10	exit 1
11fi
12
13# remove last build
14rm -rf cov_build/
15
16# copy files to build folder
17mkdir cov_build
18mkdir cov_build/src
19mkdir cov_build/include
20mkdir cov_build/resources
21
22cp Makefile cov_build/
23cp src/civetweb.c cov_build/src/
24cp src/main.c cov_build/src/
25cp src/md5.inl cov_build/src/
26cp src/sha1.inl cov_build/src/
27cp src/response.inl cov_build/src/
28cp src/timer.inl cov_build/src/
29cp src/handle_form.inl cov_build/src/
30cp src/openssl_dl.inl cov_build/src/
31cp include/civetweb.h cov_build/include/
32cp resources/Makefile.in-os cov_build/resources/
33
34cd cov_build
35
36# new scan build
37~/cov-analysis-linux64-2019.03/bin/cov-build  --dir cov-int make WITH_IPV6=1 WITH_WEBSOCKET=1 WITH_SERVER_STATS=1 WITH_EXPERIMENTAL=1
38
39
40# pack build results for upload
41tar czvf civetweb_coverity_check.tgz cov-int
42
43cd ..
44
45# check if the build was successful
46echo
47ls -la cov_build/civetweb_coverity_check.tgz
48
49if [ "$?" = "0" ]; then
50	echo "... done"
51	echo
52        echo "submit to https://scan.coverity.com/projects/bel2125-civetweb"
53	echo
54	echo "last commit was"
55	git log -n 1
56        echo
57        echo
58else
59	echo "No civetweb_coverity_check.tgz file" 1>&2
60        echo
61	exit 1
62fi
63
64# return "ok"
65exit 0
66
67