diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-26 12:13:46 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-09-26 12:13:46 -0700 |
| commit | ea31d60c1e112510e9b9edbe71b308ca0c44ed0b (patch) | |
| tree | 0d2f5311775fd3248c38c6691133a20c33ea9f8d | |
| parent | d48d1c9c8e74db97c0e7ae92a46177057455be99 (diff) | |
quick testeatmydata
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/.travis.yml b/.travis.yml index d8b1fc993..285dc47ef 100644 --- a/.travis.yml +++ b/.travis.yml @@ -34,6 +34,7 @@ addons: - libhamcrest-java - openjdk-7-jdk - swig3.0 + - eatmydata before_install: - eval "${MATRIX_EVAL}" # Clang does not play nice with ccache (at least the versions offered by @@ -69,7 +70,7 @@ script: makeAutotools() { ./autogen.sh ./configure debug --with-lfsc --disable-debug-symbols - make -j2 check REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || error "AUTOTOOLS BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" + eatmydata -- make -j2 check REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || error "AUTOTOOLS BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" } # makeDistcheck() { # make V=1 -j2 distcheck REGRESSION_LEVEL=0 CVC4_REGRESSION_ARGS='--no-early-exit' || @@ -77,7 +78,7 @@ script: # } makeCheck() { cd build - make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" + eatmydata -- make -j2 check ARGS='-LE regress[1-4]' CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/UNIT/SYSTEM/REGRESSION TEST FAILED" } makeExamples() { cd build |