dns-secondary, monitoring: use the --enable-monitoring configure option
This commit is contained in:
parent
505b1c5e34
commit
6f880ea3fc
1 changed files with 2 additions and 2 deletions
|
@ -45,7 +45,7 @@ depends: [
|
||||||
|
|
||||||
x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked"
|
x-mirage-opam-lock-location: "mirage/secondary-hvt.opam.locked"
|
||||||
|
|
||||||
x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --context ./mirage/context --no-extra-repo"]
|
x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --enable-monitoring --context ./mirage/context --no-extra-repo"]
|
||||||
|
|
||||||
x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"]
|
x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"]
|
||||||
|
|
||||||
|
@ -58,4 +58,4 @@ x-opam-monorepo-opam-provided: ["mirage"
|
||||||
"ocaml""ocaml-solo5"
|
"ocaml""ocaml-solo5"
|
||||||
"opam-monorepo"]
|
"opam-monorepo"]
|
||||||
|
|
||||||
url { src: "git+https://github.com/roburio/dns-secondary.git#future" }
|
url { src: "git+https://github.com/roburio/dns-secondary.git" }
|
||||||
|
|
Loading…
Reference in a new issue