Temporarily fix pinning jbuilder to master (#841)

Signed-off-by: Bobby Priambodo <bobby.priambodo@gmail.com>
This commit is contained in:
Bobby Priambodo 2018-06-02 16:01:14 +07:00 committed by Jérémie Dimino
parent 93070c9a4d
commit b012327f9e
1 changed files with 1 additions and 1 deletions

View File

@ -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.