|
|
|
@ -58,7 +58,8 @@ before_install:
@@ -58,7 +58,8 @@ before_install:
|
|
|
|
|
- if [[ "${TRAVIS_BRANCH}" = "coverity" ]]; then |
|
|
|
|
if [[ "${BUILD_TARGET}" = "coverity_scan" ]]; then sudo apt-get install genromfs && pip install empy jinja2; else exit 0; fi; |
|
|
|
|
fi |
|
|
|
|
|
|
|
|
|
# use git:// to fetch instead of https:// |
|
|
|
|
- git config --global url."git://".insteadOf https:// |
|
|
|
|
env: |
|
|
|
|
global: |
|
|
|
|
# COVERITY KEY |
|
|
|
|