diff --git a/kicadsch.opam b/kicadsch.opam index 62fad9d..80e0e8d 100644 --- a/kicadsch.opam +++ b/kicadsch.opam @@ -7,7 +7,7 @@ bug-reports: "https://github.com/jnavila/plotkicadsch/issues" license: "ISC" dev-repo: "https://github.com/jnavila/plotkicadsch.git" build: [ - [ "dune" "subst" "-n" "kicadsch" ] {pinned} + [ "dune" "subst" ] {pinned} [ "dune" "build" "-p" name "-j" jobs ] ] build-test: [ diff --git a/plotkicadsch.opam b/plotkicadsch.opam index 426a237..eaff80c 100644 --- a/plotkicadsch.opam +++ b/plotkicadsch.opam @@ -7,7 +7,7 @@ doc: "https://jnavila.github.io/plotkicadsch/index" license: "ISC" dev-repo: "https://github.com/jnavila/plotkicadsch.git" build: [ - [ "dune" "subst" "-n" "kicadsch" ] {pinned} + [ "dune" "subst" ] {pinned} [ "dune" "build" "-p" name "-j" jobs ] ] depends: [