diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2015-06-04 20:10:10 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2015-06-04 20:10:10 +0000 |
| commit | ea1e68d1a23b82d701566456f0f7bb72153d9495 (patch) | |
| tree | bca4b1e3c2d7f5511ad6ff4a7a73f33b629c27c1 /.travis-ci.sh | |
| parent | dc555cf572f8a79ec706b7b2192b5efe3b091dfb (diff) | |
| download | ocaml-ea1e68d1a23b82d701566456f0f7bb72153d9495.tar.gz | |
temporarily remove utop from the Travis build
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16158 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to '.travis-ci.sh')
| -rw-r--r-- | .travis-ci.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.travis-ci.sh b/.travis-ci.sh index c725ebf2a6..da39f62f4e 100644 --- a/.travis-ci.sh +++ b/.travis-ci.sh @@ -14,7 +14,7 @@ i386) git config --global user.name "Some Name" opam init -y -a git://github.com/ocaml/opam-repository opam install -y oasis - opam pin add -y utop git://github.com/diml/utop + # opam pin add -y utop git://github.com/diml/utop ;; *) echo unknown arch |