From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Mon, 26 Mar 2018 20:30:26 +0000 (-0700)
Subject: Regression level 0 for distcheck on Travis (#1714)
X-Git-Tag: cvc5-1.0.0~5204
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=bf300b47de94182145f5c4d0f0ec0e7cf09b6143;p=cvc5.git

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 94cee00ab..d1f72f955 100644
--- 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() {