diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-08 16:15:04 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-08 16:15:04 -0800 |
| commit | 58f701bd3cca1ea2d7be0e77c2d26ced8555c397 (patch) | |
| tree | 179139ac70cd5af9dfddb785ab58a396edf9ee9a | |
| parent | 6a4fc643283549556ae3f9c93ead7bbc3066f0fc (diff) | |
Travis timingtravis_timing
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 562987f3c..b3b4c770c 100644 --- a/.travis.yml +++ b/.travis.yml @@ -40,6 +40,7 @@ addons: - ant-optional - cxxtest - libreadline-dev + - moreutils before_install: - eval "${MATRIX_EVAL}" # Clang does not play nice with ccache (at least the versions offered by @@ -81,7 +82,7 @@ script: error "DISTCHECK (WITH NEWTHEORY TESTS) FAILED"; } makeCheck() { - make V=1 -j2 check CVC4_REGRESSION_ARGS='--no-early-exit' || error "BUILD/TEST FAILED"; + make V=1 -j2 check CVC4_REGRESSION_ARGS='--no-early-exit' |& ts; } makeExamples() { make V=1 -j2 examples || error "COULD NOT BUILD EXAMPLES${normal}"; |