From 0642f479c5312e8b918500171adcf77b23cf164f Mon Sep 17 00:00:00 2001 From: Thomas Gazagnaire Date: Wed, 11 Dec 2024 20:15:37 +0100 Subject: [PATCH] Fix dubious use of `dune subst` --- irmin-client.opam | 2 +- irmin-server.opam | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/irmin-client.opam b/irmin-client.opam index f67d9bcf76..2b18e4a22b 100644 --- a/irmin-client.opam +++ b/irmin-client.opam @@ -27,7 +27,7 @@ depends: [ "mirage-crypto-rng-lwt" {with-test & >= "1.1.0"} ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name] {with-test} ] diff --git a/irmin-server.opam b/irmin-server.opam index 540c3631a3..70b96bbd58 100644 --- a/irmin-server.opam +++ b/irmin-server.opam @@ -30,7 +30,7 @@ depends: [ ] build: [ - ["dune" "subst"] {pinned} + ["dune" "subst"] {dev} ["dune" "build" "-p" name "-j" jobs] ["dune" "runtest" "-p" name] {with-test} ]