Misc: jenkins does opam update

ocsigen · Mar 29, 2017 · c8fc299 · c8fc299
1 parent 54f9c47
commit c8fc299
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.jenkins.sh b/.jenkins.sh
@@ -1,3 +1,4 @@
+opam update
 #opam pin add jbuilder https://github.com/janestreet/jbuilder.git
 
 opam pin add --no-action js_of_ocaml .