diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-29 16:03:31 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2017-08-29 16:03:31 -0700 |
commit | c660bc233f08af7681045b7237424a34aecb2237 (patch) | |
tree | d917bc08410260e738dc6952895123d3d80a5855 /.travis.yml | |
parent | d6c918898d852ab3b38ccfdab2f138aef8d60cd0 (diff) |
Disable Java tests for now until they get fixed.
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 bf134e039..6f00d1c40 100644 --- a/.travis.yml +++ b/.travis.yml @@ -94,7 +94,7 @@ script: [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_DISTCHECK" ] && run makeDistcheck [ -n "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_CVC4_DISTCHECK" ] && run makeCheck && run makeExamples [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_CHECK_PORTFOLIO" ] && run makeCheckPortfolio - [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_JAVA_API_TEST" ] && run JavaApiTest +# [ -n "$TRAVIS_CVC4" ] && [ -n "$TRAVIS_CVC4_JAVA_API_TEST" ] && run JavaApiTest [ -n "$TRAVIS_COVERITY" ] && echo "Running coverity. Skipping the normal build." [ -z "$TRAVIS_CVC4" ] && [ -z "$TRAVIS_COVERITY" ] && error "Unknown Travis-CI configuration" echo "travis_fold:end:load_script" |