diff --git a/packages/mirage-unikernel-hello-hvt.0.0.2/opam b/packages/mirage-unikernel-hello-hvt.0.0.2/opam index 78b17df..e2740f4 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.2/opam @@ -35,7 +35,7 @@ x-mirage-opam-lock-location: "tutorial/hello-key/mirage/hello-key-hvt.opam.locke x-mirage-configure: ["sh" "-exc" "cd tutorial/hello-key/ && mirage configure -t hvt --context ./mirage/context --no-extra-repo"] -x-mirage-pre-build: [make "-Ctutorial/hello-key/" "lock" "pull"] +x-mirage-pre-build: [make "-Ctutorial/hello-key/" "lock" "depext-lockfile" "pull"] x-mirage-extra-repo: [ ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"] diff --git a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam index a1787d1..a938cc0 100644 --- a/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam +++ b/packages/mirage-unikernel-traceroute-hvt.0.0.2/opam @@ -42,7 +42,7 @@ x-mirage-opam-lock-location: "mirage/traceroute-hvt.opam.locked" x-mirage-configure: ["sh" "-exc" "mirage configure -t hvt --allocation-policy=best-fit --context ./mirage/context --no-extra-repo"] -x-mirage-pre-build: [make "lock" "pull"] +x-mirage-pre-build: [make "lock" "depext-lockfile" "pull"] x-mirage-extra-repo: [ ["opam-overlays" "https://github.com/dune-universe/opam-overlays.git"]