disable regular build during coverity run

This commit is contained in:
Valient Gough 2016-09-09 10:25:10 +02:00
parent 6ba9d4af0f
commit 7e522a610c
No known key found for this signature in database
GPG Key ID: B515DCEB95967051

View File

@ -27,8 +27,7 @@ before_script:
- cmake .. - cmake ..
script: script:
- make - if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make && ./checkops ; fi
- ./checkops
addons: addons:
coverity_scan: coverity_scan: