diff options
author | Tim King <taking@google.com> | 2017-07-23 01:01:25 -0700 |
---|---|---|
committer | Tim King <taking@google.com> | 2017-07-23 01:01:25 -0700 |
commit | fe9f28c7899da2782c2c779f959a48ae3b2c1544 (patch) | |
tree | 047b5179afee3236573403680021bb6be1050a70 /.travis.yml | |
parent | 7785045ede376f7ee5a540ded9afdd7d3f57c47d (diff) |
Disabling compiling unit tests with coverity scan for now.
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |