From fe9f28c7899da2782c2c779f959a48ae3b2c1544 Mon Sep 17 00:00:00 2001
From: Tim King <taking@google.com>
Date: Sun, 23 Jul 2017 01:01:25 -0700
Subject: [PATCH] Disabling compiling unit tests with coverity scan for now.

---
 .travis.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index f474cb47d..bb5ce3d17 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -134,7 +134,7 @@ matrix:
             description: "Build submitted via Travis CI"
           notification_email: timothy.alan.king@gmail.com
           build_command_prepend: "./autogen.sh; ./configure --enable-unit-testing --enable-proof"
-          build_command: "make V=1 -j4 check"
+          build_command: "make V=1 -j4"
           branch_pattern: coverity_scan
       after_failure:
         - cat /home/travis/build/CVC4/CVC4/cov-int/build-log.txt
-- 
2.30.2