Merge pull request #2350 from samoht/fix-lint-errors

Fix dubious use of `dune subst`
mirage · Dec 12, 2024 · 3b429d0 · 3b429d0
2 parents 7fa4b04 + 0642f47
commit 3b429d0
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -30,7 +30,7 @@ depends: [
 ]
 
 build: [
-  ["dune" "subst"] {pinned}
+  ["dune" "subst"] {dev}
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "runtest" "-p" name] {with-test}
 ]