From 3e644df40fed4c46a4dd37ac4d73b0f668779b8c Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Tue, 1 Mar 2022 22:36:06 +0100 Subject: [PATCH] use the hello-key as hello unikernel --- packages/mirage-unikernel-hello-hvt.0.0.1/opam | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/packages/mirage-unikernel-hello-hvt.0.0.1/opam b/packages/mirage-unikernel-hello-hvt.0.0.1/opam index 0fe4efa..f65325a 100644 --- a/packages/mirage-unikernel-hello-hvt.0.0.1/opam +++ b/packages/mirage-unikernel-hello-hvt.0.0.1/opam @@ -23,11 +23,11 @@ authors: "dummy" homepage: "dummy" bug-reports: "dummy" dev-repo: "git+https://example.com/nonexistent" -build: [ "sh" "-exc" "cd tutorial/hello && mirage configure -t hvt && mirage build" ] +build: [ "sh" "-exc" "cd tutorial/hello-key && mirage configure -t hvt && mirage build" ] synopsis: "The famous hello world unikernel." install: [ - [ "cp" "tutorial/hello/hello.hvt" "%{bin}%/hello.hvt" ] + [ "cp" "tutorial/hello-key/hello.hvt" "%{bin}%/hello.hvt" ] [ "strip" "%{bin}%/hello.hvt" ] - [ "cp" "tutorial/hello/hello.hvt" "%{prefix}%/hello.hvt.debug" ] + [ "cp" "tutorial/hello-key/hello.hvt" "%{prefix}%/hello.hvt.debug" ] ] url { src: "git+https://github.com/mirage/mirage-skeleton.git" }