From a8b5f35df59d5d3f455fcdcc1965676852296442 Mon Sep 17 00:00:00 2001
From: Hugo Heuzard <hugo.heuzard@gmail.com>
Date: Wed, 29 Mar 2017 01:12:48 +0100
Subject: [PATCH] Misc: jenkins does opam update

---
 .jenkins.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.jenkins.sh b/.jenkins.sh
index 5b7eb26c66..522e5f4589 100644
--- 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 .