robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

builder: debian packaging

Browse source
This commit is contained in:
Robur 2021-06-24 14:04:26 +00:00
parent 7548513ba4
commit 3ea7c0aaa1
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
packages/builder.0.0.1~dev/opam
View file

@ -29,6 +29,7 @@ build: [
["dune" "subst"] {dev}
["dune" "build" "-p" name "-j" jobs]
["sh" "packaging/FreeBSD/create_package.sh"] {os = "freebsd"}
["sh" "packaging/debian/create_package.sh"] {os-family = "debian"}
]
synopsis: "Scheduling and executing shell jobs"