From 6982f865c6e6a89210fab32bf8e849e1e20ab877 Mon Sep 17 00:00:00 2001
From: Chris Smowton <chris@smowton.net>
Date: Fri, 8 Jun 2018 16:24:31 +0100
Subject: [PATCH] Improve coverity Travis build

- Don't start a VM at all when not needed
- Don't require the less-reliable non-containerised infrastructure (sudo: required)
---
 .travis.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index b43c014a5c3..9f3ece1d07b 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -240,8 +240,9 @@ jobs:
 
     # Run Coverity
     - stage: Test different OS/CXX/Flags
+      if: type = cron
       os: linux
-      sudo: required
+      sudo: false
       compiler: gcc
       cache: ccache
       addons:
@@ -261,12 +262,6 @@ jobs:
           build_command: "make -C src -j2; make -C jbmc/src -j2"
           branch_pattern: "develop"
       before_install:
-        - |
-          if [[ "${TRAVIS_EVENT_TYPE}" != "cron" ]]
-          then
-            echo "This is not a cron build and build is not needed."
-            travis_terminate 0
-          fi
         - mkdir bin ; ln -s /usr/bin/gcc-5 bin/gcc
         - sudo update-alternatives --install /usr/bin/g++ g++ /usr/bin/g++-5 90
         - g++ --version