浏览代码

Add shell helper script for coverity check

bel2125 9 年之前
父节点
当前提交
16e5a04b74
共有 1 个文件被更改,包括 30 次插入0 次删除
  1. 30 0
      resources/coverity_check.sh

+ 30 - 0
resources/coverity_check.sh

@@ -0,0 +1,30 @@
+#! /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 coverity_check.tgz
+tar czvf coverity_check.tgz cov-int
+
+ls coverity_check.tgz
+
+if [ "$?" = "0" ]; then
+	echo "... done"
+else
+	echo "No coverity_check.tgz file" 1>&2
+	exit 1
+fi
+
+exit 0
+