From 411307d978ac217544769f11410edec69f7ed61d Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Mon, 25 Dec 2017 03:58:42 +0100 Subject: [PATCH] topkg --- pkg/pkg.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkg/pkg.ml b/pkg/pkg.ml index f2ae5a5..e65233e 100644 --- a/pkg/pkg.ml +++ b/pkg/pkg.ml @@ -4,7 +4,7 @@ open Topkg let () = - Pkg.describe "vmm" @@ fun _ -> + Pkg.describe "albatross" @@ fun _ -> Ok [ Pkg.bin "app/vmmd" ; Pkg.bin "app/vmm_console" ;