fix .exe path + manifest
This commit is contained in:
parent
a1ec62d590
commit
34e24cd656
2 changed files with 2 additions and 1 deletions
|
|
@ -58,4 +58,4 @@ build:
|
|||
dune build src/mte.exe
|
||||
|
||||
run:
|
||||
solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/main.exe --solo5:quiet
|
||||
solo5-hvt --block:storage=$(secmod_fat) --net:service=$(tap_device) -- _build/solo5/src/mte.exe --solo5:quiet
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue