Skip to content

Commit

Permalink
Merge pull request #143 from Leonidas-from-XIV/pinned-dev
Browse files Browse the repository at this point in the history
`dune subst` should be only called when `dev`
  • Loading branch information
Leonidas-from-XIV authored Jun 24, 2022
2 parents 009a0a8 + 62c25cf commit 553450f
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion yojson-bench.opam
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ depends: [
"core_unix" {>= "v0.14.0"}
]
build: [
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
]
synopsis: "Run Yojson benchmarks"
Expand Down
2 changes: 1 addition & 1 deletion yojson.opam
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,7 @@ dev-repo: "git+https://github.com/ocaml-community/yojson.git"
doc: "https://ocaml-community.github.io/yojson/"
license: "BSD-3-Clause"
build: [
["dune" "subst"] {pinned}
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["dune" "runtest" "-p" name "-j" jobs] {with-test}
["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
Expand Down

0 comments on commit 553450f

Please sign in to comment.