diff options
| -rw-r--r-- | .travis.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index a7c583dff..218d14df9 100644 --- a/.travis.yml +++ b/.travis.yml @@ -81,8 +81,8 @@ script: error "DISTCHECK (WITH NEWTHEORY TESTS) FAILED"; } makeCheck() { - builds/bin/cvc4 --show-config make V=1 -j2 check REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" + builds/bin/cvc4 --show-config } makeExamples() { make V=1 -j2 examples || error "COULD NOT BUILD EXAMPLES${normal}"; |