mirror of
https://gitee.com/mirrors_PX4/PX4-Autopilot.git
synced 2026-04-14 10:07:39 +08:00
travis-ci coverity abort early
This commit is contained in:
parent
6a249c742b
commit
0ac237f3df
13
.travis.yml
13
.travis.yml
@ -9,6 +9,11 @@ git:
|
||||
matrix:
|
||||
fast_finish: true
|
||||
include:
|
||||
- os: linux
|
||||
sudo: required
|
||||
services:
|
||||
- docker
|
||||
env: BUILD_TARGET=quick_check
|
||||
- os: linux
|
||||
sudo: required
|
||||
services:
|
||||
@ -39,6 +44,8 @@ matrix:
|
||||
services:
|
||||
- docker
|
||||
env: BUILD_TARGET=px4_metadata
|
||||
- os: linux
|
||||
env: BUILD_TARGET=coverity_scan
|
||||
|
||||
cache:
|
||||
ccache: true
|
||||
@ -56,8 +63,12 @@ env:
|
||||
- secure: "h6oajlW68dWIr+wZhO58Dv6e68dZHrBLVA6lPXZmheFQBW6Xam1HuLGA0LOW6cL9TnrAsOZ8g4goB58eMQnMEijFZKi3mhRwZhd/Xjq/ZGJOWBUrLoQHZUw2dQk5ja5vmUlKEoQnFZjDuMjx8KfX5ZMNy8A3yssWZtJYHD8c+bk="
|
||||
|
||||
script:
|
||||
- if [[ "${TRAVIS_BRANCH}" == "coverity" ]]; then
|
||||
- if [[ "${TRAVIS_BRANCH}" == "coverity" && "${BUILD_TARGET}" == "coverity_scan" ]]; then
|
||||
echo "no script for coverity build";
|
||||
elif [[ "${TRAVIS_BRANCH}" == "coverity" && "${BUILD_TARGET}" != "coverity_scan" ]]; then
|
||||
echo "exit early for coverity build" && exit 0;
|
||||
elif [[ "${BUILD_TARGET}" = "quick_check" ]]; then
|
||||
./Tools/docker_run.sh 'make quick_check NO_NINJA_BUILD=1';
|
||||
elif [[ "${BUILD_TARGET}" = "check_format" ]]; then
|
||||
./Tools/docker_run.sh 'make check_format';
|
||||
elif [[ "${BUILD_TARGET}" = "tests" ]]; then
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user