diff --git a/.travis.yml b/.travis.yml index 984c02aacc..68f851ec59 100644 --- a/.travis.yml +++ b/.travis.yml @@ -39,20 +39,14 @@ cache: before_install: # install dependencies for the coverity build (target and branch), otherwise exit early - if [[ "${TRAVIS_BRANCH}" = "coverity_scan" ]]; then - if [[ "${BUILD_TARGET}" = "coverity_scan" ]]; then - sudo apt-get install python-empy python-jinja2 python-toml python-numpy; - echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-; - else - exit 0; - fi + sudo pip install empy jinja2 numpy toml; + echo -n | openssl s_client -connect scan.coverity.com:443 | sed -ne '/-BEGIN CERTIFICATE-/,/-END CERTIFICATE-/p' | sudo tee -a /etc/ssl/certs/ca-; fi # use git:// to fetch instead of https:// - git config --global url."git://".insteadOf https:// script: - - if [[ "${BUILD_TARGET}" != "coverity_scan" ]]; then - ./Tools/docker_run.sh make ${BUILD_TARGET}; - fi + - ./Tools/docker_run.sh make ${BUILD_TARGET} after_success: # upload code coverage diff --git a/Makefile b/Makefile index ec8b6e5244..cda0743d21 100644 --- a/Makefile +++ b/Makefile @@ -235,6 +235,10 @@ check_%: @$(MAKE) --no-print-directory $(subst check_,,$@) @echo +.PHONY: coverity_scan + +coverity_scan: posix_sitl_default + # Documentation # -------------------------------------------------------------------- .PHONY: parameters_metadata airframe_metadata module_documentation px4_metadata