From b012327f9e696e9c1589f453bfc0d52b36f0e827 Mon Sep 17 00:00:00 2001 From: Bobby Priambodo Date: Sat, 2 Jun 2018 16:01:14 +0700 Subject: [PATCH] Temporarily fix pinning jbuilder to master (#841) Signed-off-by: Bobby Priambodo --- jbuilder.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jbuilder.opam b/jbuilder.opam index e2dd5674..d1cd7e5a 100644 --- a/jbuilder.opam +++ b/jbuilder.opam @@ -6,7 +6,7 @@ homepage: "https://github.com/ocaml/dune" bug-reports: "https://github.com/ocaml/dune/issues" dev-repo: "https://github.com/ocaml/dune.git" license: "MIT" -build: ["dune" "--version"] +build: [] # CR-soon diml: uncomment this once we have a dune package in opam. # We have to wait otherwise "opam pin add jbuilder --dev" fails with # an error that is hard to understand.