From 0ac237f3dfd2d5a9bb92a02787f8c189dc18fad2 Mon Sep 17 00:00:00 2001
From: Daniel Agar <daniel@agar.ca>
Date: Sun, 23 Apr 2017 18:39:51 -0400
Subject: [PATCH] travis-ci coverity abort early

---
 .travis.yml | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 1390c238d62c..808c58153455 100644
--- a/.travis.yml
+++ b/.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