From 021fd8c86420bb8c024034ff7a2fec9b8f05374e Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Thu, 1 Jun 2017 13:33:32 +0100 Subject: [PATCH] v0.9.115.01+41 --- ppx_let.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppx_let.opam b/ppx_let.opam index 18009793b..514a918db 100644 --- a/ppx_let.opam +++ b/ppx_let.opam @@ -6,7 +6,7 @@ bug-reports: "https://github.com/janestreet/ppx_let/issues" dev-repo: "git+https://github.com/janestreet/ppx_let.git" license: "Apache-2.0" build: [ - ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs "@install"] + ["jbuilder" "build" "-p" name "-j" jobs] ] depends: [ "jbuilder" {build & >= "1.0+beta8"}