Travis CI: Test also by Coverity Scan

diff --git a/.travis.yml b/.travis.yml
index 5e05135545dace9057f961d664b665240fec365c..ce1e1984b3293208a8f115f9184985f20749a956 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -10,6 +10,17 @@ matrix:
       env: [ CONF_OPTIONS="--enable-cplusplus" ]
     - os: osx
       env: [ CONF_OPTIONS="--enable-cplusplus" ]
+    - os: linux
+      env: [ COVERITY_SCAN_BRANCH=1 ]
+      addons:
+        coverity_scan:
+          project:
+            name: ivmai/bdwgc
+            version: 7.7.0
+          notification_email: ivmai@mail.ru
+          branch_pattern: master
+          build_command_prepend: ./configure --enable-cplusplus --disable-shared --enable-single-obj-compilation
+          build_command: make -j check CFLAGS_EXTRA=-DLINT2
     - os: linux
       addons: { apt: { packages: [ gcc-multilib ] } }
       compiler: clang
@@ -305,11 +316,13 @@ install:
 
 script:
   - if [[ "$CSA_CHECK" != true && "$CPPCHECK_ENABLE" == ""
-          && "$MAKEFILE_NAME" != "Makefile.direct" ]]; then
+          && "$MAKEFILE_NAME" != "Makefile.direct"
+          && "$COVERITY_SCAN_BRANCH" != 1 ]]; then
       ./configure $CONF_OPTIONS --enable-werror &&
       cat include/config.h;
     fi
-  - if [[ "$CSA_CHECK" != true && "$CPPCHECK_ENABLE" == "" ]]; then
+  - if [[ "$CSA_CHECK" != true && "$CPPCHECK_ENABLE" == ""
+          && "$COVERITY_SCAN_BRANCH" != 1 ]]; then
       make -j -f $MAKEFILE_NAME $MAKEFILE_TARGETS
            CFLAGS_EXTRA="$CFLAGS_EXTRA";
     fi