Merge pull request #499 from Incubaid/update-camltc

update camltc for build_and_package CI job
Incubaid · Aug 14, 2014 · a86ff70 · a86ff70
2 parents f160432 + e333382
commit a86ff70
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jenkins/build_and_package/008_install_dev_env.sh b/jenkins/build_and_package/008_install_dev_env.sh
@@ -11,5 +11,5 @@ opam update -y
 opam install -y conf-libev
 opam install -y camlbz2
 opam install -y lwt.2.4.4
-opam install -y camltc.0.9.0
+opam install -y camltc.0.9.2
 opam install -y bisect