Revert "Jenkins: Pin ssl branch for 4.04 build"

No longer needed. This reverts commit d857749.
ocsigen · Nov 13, 2016 · a77a865 · a77a865
1 parent 48e67b4
commit a77a865
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,6 +1,6 @@
-opam pin add --no-action ssl https://github.com/vasilisp/ocaml-ssl.git#pin-friendly
 opam pin add --no-action ocsigenserver .
 opam install camlzip
+opam pin add tyxml --dev-repo
 opam install --deps-only ocsigenserver
 opam install --verbose ocsigenserver