jenkins

hhugo · hhugo · commit 34fbf4a9c919 · 2014-09-30T16:29:01.000+02:00
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,4 +1,4 @@
-
+opam pin add --no-action tyxml 'https://github.com/ocsigen/tyxml.git#master'
 opam pin add --no-action ocsigenserver .
 opam install camlzip
 opam install --deps-only ocsigenserver

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-`
	`1`	`+opam pin add --no-action tyxml 'https://github.com/ocsigen/tyxml.git#master'`
`2`	`2`	`opam pin add --no-action ocsigenserver .`
`3`	`3`	`opam install camlzip`
`4`	`4`	`opam install --deps-only ocsigenserver`