use the hello-key as hello unikernel
This commit is contained in:
parent
59fe5abd06
commit
3e644df40f
1 changed files with 3 additions and 3 deletions
|
@ -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" }
|
||||
|
|
Loading…
Reference in a new issue