Update Travis build script for 4.02.1

yallop · Oct 14, 2014 · 69f1994 · 69f1994
1 parent 346754b
commit 69f1994
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis-ci.sh b/.travis-ci.sh
@@ -2,7 +2,7 @@ OPAM_DEPENDS="ocamlfind ounit"
 case "$OCAML_VERSION,$OPAM_VERSION" in
 4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;;
 4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;;
-4.02.0,1.1.0) ppa=avsm/ocaml42+opam11 ;;
+4.02.1,1.1.0) ppa=avsm/ocaml42+opam11 ;;
 *) echo Unknown $OCAML_VERSION,$OPAM_VERSION; exit 1 ;;
 esac
 echo "yes" | sudo add-apt-repository ppa:$ppa