aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--.travis.yml1
1 files changed, 1 insertions, 0 deletions
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