diff options
author | Jason Gross <jgross@mit.edu> | 2017-06-09 17:53:50 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2017-07-08 20:09:54 -0400 |
commit | b65671f342265351a40c910c7b170c4e6924197d (patch) | |
tree | b84ecce08b89a4e7898e608ed0b1eac3ec074a0d /.travis.yml | |
parent | 31098bfe8fa98a072330b851afb3a4f0916527ab (diff) |
Also install gnu-time on travis on Mac OSX
Diffstat (limited to '.travis.yml')
-rw-r--r-- | .travis.yml | 1 |
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 |