diff options
author | Jérémie Dimino <jeremie@dimino.org> | 2014-07-23 10:11:47 +0000 |
---|---|---|
committer | Jérémie Dimino <jeremie@dimino.org> | 2014-07-23 10:11:47 +0000 |
commit | 906eb3dddc52d3af65b210aef0a516f8dc8ae560 (patch) | |
tree | 675060e217ac7ba0676dd6d6b17de5d89bbfa9c6 | |
parent | b127859dd120c79631a77fba630e6e6b1101f215 (diff) | |
download | ocaml-906eb3dddc52d3af65b210aef0a516f8dc8ae560.tar.gz |
better fix for the travis script
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15024 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | .travis-ci.sh | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh index bd00ef9c6c..bee3ad19bb 100644 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -9,9 +9,8 @@ i386) git clone git://github.com/ocaml/opam cd opam && ./configure && make lib-ext && make && sudo make install opam init -y -a git://github.com/ocaml/opam-repository - opam pin add utop https://github.com/diml/utop opam install -y oasis - opam install -y utop + opam pin add -y utop https://github.com/diml/utop ;; *) echo unknown arch |