jenkins need to install oasis

ocsigen · Jul 3, 2014 · d75947c · d75947c
1 parent 0a303b6
commit d75947c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,5 +1,5 @@
 opam pin deriving .
-opam install type_conv
+opam install type_conv oasis
 opam install --deps-only deriving
 opam install --verbose deriving
 opam remove deriving