From 6f880ea3fc5335f63d099086784aa475ddef483d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Thu, 9 Mar 2023 13:25:30 +0100 Subject: [PATCH] dns-secondary, monitoring: use the --enable-monitoring configure option --- .../mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam index 00bd0b3..252c5fd 100644 --- a/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-dns-secondary-monitoring-hvt.0.0.2/opam @@ -45,7 +45,7 @@ depends: [ 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"] @@ -58,4 +58,4 @@ x-opam-monorepo-opam-provided: ["mirage" "ocaml""ocaml-solo5" "opam-monorepo"] -url { src: "git+https://github.com/roburio/dns-secondary.git#future" } +url { src: "git+https://github.com/roburio/dns-secondary.git" }