diff options
-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 |