robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests 1 Projects Releases Packages Wiki Activity Actions

dns-primary-git, monitoring: use the --enable-monitoring configure option

Browse source
This commit is contained in:
Hannes Mehnert 2023-03-09 13:27:18 +01:00
parent de09dd1f33
commit 80d944e9e0
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
packages/mirage-unikernel-dns-primary-git-monitoring-hvt.0.0.2/opam vendored
View file

@ -52,7 +52,7 @@ depends: [
x-mirage-opam-lock-location: "mirage/primary-git-hvt.opam.locked" x-mirage-opam-lock-location: "mirage/primary-git-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"]
@ -65,4 +65,4 @@ x-opam-monorepo-opam-provided: ["mirage"
"ocaml""ocaml-solo5""opam-monorepo" "ocaml""ocaml-solo5""opam-monorepo"
"solo5"] "solo5"]
url { src: "git+https://github.com/roburio/dns-primary-git.git#future" } url { src: "git+https://github.com/roburio/dns-primary-git.git" }