From 58f701bd3cca1ea2d7be0e77c2d26ced8555c397 Mon Sep 17 00:00:00 2001
From: Andres Noetzli <andres.noetzli@gmail.com>
Date: Thu, 8 Feb 2018 16:15:04 -0800
Subject: Travis timing

---
 .travis.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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}";
-- 
cgit v1.2.3