fix Travis script: git requires a name and email
(Patch by Pierre Chambart) git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15193 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
a360747bc2
commit
fbdb2f5585
|
@ -8,6 +8,8 @@ i386)
|
|||
cd camlp4 && ./configure && make && sudo make install
|
||||
git clone git://github.com/ocaml/opam
|
||||
cd opam && ./configure && make lib-ext && make && sudo make install
|
||||
git config --global user.email "some@name.com"
|
||||
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 https://github.com/diml/utop
|
||||
|
|
Loading…
Reference in New Issue