From 773bca4f88cddf9ee1f523c188cddc0537ba4151 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Sun, 25 Sep 2022 20:10:22 +0200 Subject: [PATCH] fix opam-mirror --- packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam b/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam index 621042a..aafcf18 100644 --- a/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-opam-mirror-hvt.0.0.1/opam @@ -53,7 +53,7 @@ depends: [ x-mirage-opam-lock-location: "mirage/mirage/mirror-hvt.opam.locked" -x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt -f mirage/config.ml --allocation-policy=best-fit --context mirage/mirage/context --no-extra-repo"] +x-mirage-configure: ["sh" "-exc" "cd mirage/ && mirage configure -t hvt --allocation-policy=best-fit --context ./mirage/context --no-extra-repo"] x-mirage-pre-build: [make "-Cmirage/" "lock" "depext-lockfile" "pull"]