Launch Dune only once

Zzull · Zzull · commit ebbb4b98b034 · 2021-07-12T11:29:44.000+02:00
diff --git a/ocsigenserver.opam b/ocsigenserver.opam
@@ -38,7 +38,7 @@ build: [
     "--sysconfdir"
     "%{lib}%/ocsigenserver/etc/ocsigenserver"
   ]
-  [make]
+  [make "-C" "src" "confs"]
   ["dune" "build" "-p" name "-j" jobs]
 ]
 install:[make "install.files"]

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ build: [`
`38`	`38`	`"--sysconfdir"`
`39`	`39`	`"%{lib}%/ocsigenserver/etc/ocsigenserver"`
`40`	`40`	`]`
`41`		`- [make]`
	`41`	`+ [make "-C" "src" "confs"]`
`42`	`42`	`["dune" "build" "-p" name "-j" jobs]`
`43`	`43`	`]`
`44`	`44`	`install:[make "install.files"]`