From 06aa1c3caf096ecab4471435419ce78f1dd35a95 Mon Sep 17 00:00:00 2001 From: Ivan Maidanski Date: Fri, 28 Apr 2017 11:48:10 +0300 Subject: [PATCH] Travis CI: Test also by Coverity Scan --- .travis.yml | 17 +++++++++++++++-- 1 file changed, 15 insertions(+), 2 deletions(-) diff --git a/.travis.yml b/.travis.yml index 5e051355..ce1e1984 100644 --- 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 -- 2.40.0