From 817790844673724a13ccdbbf509e1d2885f4d293 Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Wed, 20 Jul 2016 10:17:18 -0700
Subject: Display pretty timing graph on travis

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

diff --git a/.travis.yml b/.travis.yml
index 59fbead87..ae5ed9645 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -32,4 +32,4 @@ before_install:
   - sudo apt-get update -q
   - sudo apt-get install $COQ_PACKAGE -y
 
-script: make COQPATH="$(pwd)/$COQPRIME" TIMED=1 -j2
+script: COQPATH="$(pwd)/$COQPRIME" ./etc/coq-scripts/timing/make-pretty-timed.sh -j2 && make COQPATH="$(pwd)/$COQPRIME" TIMED=1 -j2
-- 
cgit v1.2.3