mirror of
https://github.com/isar/libmdbx.git
synced 2025-01-30 22:47:16 +08:00
mdbx-ci: add COVERITY_UNSUPPORTED_COMPILER_INVOCATION
and -std=gnu++17
for Coverity.
Change-Id: Id4aa557458bf847ba19ceb1bcdfeef7c0fc6f8e8
This commit is contained in:
parent
f2ba1f6fdb
commit
6db7b13266
@ -66,10 +66,11 @@ script: |
|
|||||||
if [ ! -s ./coverity_scan.sh ]; then
|
if [ ! -s ./coverity_scan.sh ]; then
|
||||||
make --keep-going all && MALLOC_CHECK_=7 MALLOC_PERTURB_=42 make --keep-going check
|
make --keep-going all && MALLOC_CHECK_=7 MALLOC_PERTURB_=42 make --keep-going check
|
||||||
else
|
else
|
||||||
|
COVERITY_UNSUPPORTED_COMPILER_INVOCATION=1 \
|
||||||
COVERITY_SCAN_PROJECT_NAME="ReOpen/libmdbx" \
|
COVERITY_SCAN_PROJECT_NAME="ReOpen/libmdbx" \
|
||||||
COVERITY_SCAN_NOTIFICATION_EMAIL="leo@yuriev.ru" \
|
COVERITY_SCAN_NOTIFICATION_EMAIL="leo@yuriev.ru" \
|
||||||
COVERITY_SCAN_BUILD_COMMAND_PREPEND="" \
|
COVERITY_SCAN_BUILD_COMMAND_PREPEND="" \
|
||||||
COVERITY_SCAN_BUILD_COMMAND="make MDBX_OPTIONS=-DMDBX_DEBUG=2 build-test" \
|
COVERITY_SCAN_BUILD_COMMAND="make MDBX_OPTIONS=-DMDBX_DEBUG=2 CXXSTD=-std=gnu++17 build-test" \
|
||||||
COVERITY_SCAN_BRANCH_PATTERN="$TRAVIS_BRANCH" \
|
COVERITY_SCAN_BRANCH_PATTERN="$TRAVIS_BRANCH" \
|
||||||
bash ./coverity_scan.sh || cat cov-int/scm_log.txt
|
bash ./coverity_scan.sh || cat cov-int/scm_log.txt
|
||||||
fi
|
fi
|
||||||
|
Loading…
x
Reference in New Issue
Block a user