diff options
| author | Daniel Black <daniel.black@au.ibm.com> | 2017-03-17 16:37:53 +1100 |
|---|---|---|
| committer | Sergey Vojtovich <svoj@mariadb.org> | 2017-04-06 11:26:34 -0400 |
| commit | 46e2442f6fcb383d70851be2cc2986b04e13709e (patch) | |
| tree | 5577e674be377e929806cd8b5f46afefbd2a24ed | |
| parent | fce645745bdf297ca55c43e3f1569d7f3dfc6189 (diff) | |
| download | mariadb-git-46e2442f6fcb383d70851be2cc2986b04e13709e.tar.gz | |
MDEV-6262: travis coverity support
| -rw-r--r-- | .travis.yml | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 135c6cf75c6..6a1fbb4bdee 100644 --- a/.travis.yml +++ b/.travis.yml @@ -20,6 +20,39 @@ env: - GCC_VERSION=5 - GCC_VERSION=6 +#matrix: +# include: +# - env: +# - GCC_VERSION=6 +# addon: +# coverity_scan: +# # ref: https://scan.coverity.com/travis_ci +# # GitHub project metadata +# project: +# - name: MariaDB/server +# - description: MariaDB Server +# +# # Where email notification of build analysis results will be sent +# notification_email: security@mariadb.org +# +# # Commands to prepare for build_command +# build_command_prepend: +# - source .travis.compiler.sh +# - ${MYSQL_BUILD_CC} --version ; ${MYSQL_BUILD_CXX} --version +# - cmake . {MYSQL_BUILD_CXX:+-DCMAKE_CXX_COMPILER=$${MYSQL_BUILD_CXX} \ +# {MYSQL_BUILD_CC:+-DCMAKE_C_COMPILER=$${MYSQL_BUILD_CC} \ +# -DCMAKE_BUILD_TYPE=Debug \ +# -DWITH_SSL=system -DWITH_ZLIB=system \ +# -DWITHOUT_TOKUDB_STORAGE_ENGINE=ON -DWITHOUT_MROONGA_STORAGE_ENGINE=ON +# +# # The command that will be added as an argument to "cov-build" to compile your project for analysis, +# build_command: make -j 4 +# +# # Pattern to match selecting branches that will run analysis. +# # Take care in resource usage, and consider the build frequency allowances per +# # https://scan.coverity.com/faq#frequency - 7 per week is the current limit. +# branch_pattern: .*coverity.* +# addons: apt: sources: |