瀏覽代碼

Update coverity build script

bel2125 7 年之前
父節點
當前提交
16c6813166
共有 1 個文件被更改,包括 1 次插入1 次删除
  1. 1 1
      resources/coverity_check.sh

+ 1 - 1
resources/coverity_check.sh

@@ -28,7 +28,7 @@ cp resources/Makefile.in-os cov_build/resources/
 cd cov_build
 
 # new scan build
-../../cov-analysis-linux64-8.7.0/bin/cov-build  --dir cov-int make WITH_IPV6=1 WITH_WEBSOCKET=1 WITH_SERVER_STATS=1
+../../cov-analysis-linux64-2017.07/bin/cov-build  --dir cov-int make WITH_IPV6=1 WITH_WEBSOCKET=1 WITH_SERVER_STATS=1 WITH_EXPERIMENTAL=1
 
 
 # pack build results for upload