update travis scripts

nymote · Jan 19, 2015 · 4e1c686 · 4e1c686
1 parent 41335b7
commit 4e1c686
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.travis.yml b/.travis.yml
@@ -3,8 +3,8 @@ before_script: cd _mirage
 script: bash -ex travis.sh
 env:
   matrix:
-  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0 MIRAGE_BACKEND=xen DEPLOY=1
-  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.1.0 MIRAGE_BACKEND=unix
+  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.2.0 MIRAGE_BACKEND=xen DEPLOY=1
+  - OCAML_VERSION=4.01.0 OPAM_VERSION=1.2.0 MIRAGE_BACKEND=unix
   global:
   - secure: Om1BdsBTIqqhoMN5KQvDzClaieKoNMWsvVWcW6oRdNsFaaFcsN66ASfSfbIZm6tOqAnulUK1xtf/07FL2hexJw9YNwQiGE0ih4z8NYuVuB6aF7VTMz0Ps/EFPmdc0X5Lx9LpYi0TmphzBDMoGmaAaGRZkvPexdVup0ml6GJ47i8=
   - secure: OZBJ52oFZS6U+97JitwFU7x1mWJLEh9h8f+orhARZbQetEDBQfL1xU6e9YzrhOUOEXKFSb2O+Iiyh1Jw/fEzQeNfszztn783Npor0+/VKolk7PYHwgbWTtMCKCJ1ot6qhSHviLWu8qMKv/bcyJjNkHE+w992Z2g4Q03MixMntG8=

diff --git a/_mirage/travis.sh b/_mirage/travis.sh
@@ -6,7 +6,7 @@
 OPAM_DEPENDS="mirage fat-filesystem"
 
 case "$OCAML_VERSION,$OPAM_VERSION" in
-4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
+4.01.0,1.2.0) ppa=avsm/ocaml41+opam12 ;;
 *) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
 esac