From b65671f342265351a40c910c7b170c4e6924197d Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 9 Jun 2017 17:53:50 -0400
Subject: Also install gnu-time on travis on Mac OSX

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

(limited to '.travis.yml')

diff --git a/.travis.yml b/.travis.yml
index d2d779d8b..d6d4fcef4 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -144,6 +144,7 @@ matrix:
       before_install:
       - brew update
       - brew install opam
+      - brew install gnu-time
 
 install:
 - opam init -j ${NJOBS} --compiler=${COMPILER} -n -y
-- 
cgit v1.2.3