coverity: try to get make running.

pull/1007/head
Kim Kulling 2015-12-30 12:46:37 +01:00
parent fb123ab1b2
commit 906dc328fc
1 changed files with 8 additions and 0 deletions

View File

@ -6,6 +6,14 @@ env:
global:
- secure: "lZ7pHQvl5dpZWzBQAaIMf0wqrvtcZ4wiZKeIZjf83TEsflW8+z0uTpIuN30ZV6Glth/Sq1OhLnTP5+N57fZU/1ebA5twHdvP4bS5CIUUg71/CXQZNl36xeaqvxsG/xRrdpKOsPdjAOsQ9KPTQulsX43XDLS7CasMiLvYOpqKcPc="
language: cpp
compiler:
- gcc
- clang
script: if [ "${COVERITY_SCAN_BRANCH}" != 1 ]; then make ; fi
addons:
coverity_scan:
project: