Regression level 0 for distcheck on Travis (#1714)

We are running all our Travis tests with regression level 0 except for
distcheck, which is running with the default level 1. This commit lowers
the level to 0 to make all jobs consistent.

diff --git a/.travis.yml b/.travis.yml
index 94cee00ab529327f64057dcfadc07140a826810e..d1f72f955a5c2ffc087567322b476ea0a4d9d0bd 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -77,7 +77,7 @@ script:
      exit 1;
    }
    makeDistcheck() {
-     make V=1 -j2 distcheck CVC4_REGRESSION_ARGS='--no-early-exit' ||
+     make V=1 -j2 distcheck REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' ||
        error "DISTCHECK (WITH NEWTHEORY TESTS) FAILED";
    }
    makeCheck() {