From 08fc77c23c701e6d956d1398dfede5eac16bf0b9 Mon Sep 17 00:00:00 2001 From: Vincent Hanquez Date: Mon, 17 Aug 2009 13:07:27 +0100 Subject: [PATCH] remove one xenvmlib --- xenvm/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/xenvm/Makefile b/xenvm/Makefile index 45a275f..769557c 100644 --- a/xenvm/Makefile +++ b/xenvm/Makefile @@ -20,7 +20,7 @@ xenvm_OBJS = $(TOPLEVEL)/common/config xenvmlib tasks misc vmconfig vmstate vmac xenvm-cmd_OBJS = xenvmlib xenvm-cmd xenops_OBJS = xenops -ALL_OCAML_OBJS = $(TOPLEVEL)/common/config xenvmlib xenvm xenvmlib xenvm-cmd misc tasks vmconfig vmstate vmact xenops +ALL_OCAML_OBJS = $(TOPLEVEL)/common/config xenvmlib xenvm xenvm-cmd misc tasks vmconfig vmstate vmact xenops #INTF = watch.cmi netman.cmi balloon.cmi device_common.cmi device.cmi domain.cmi xal.cmi xenvm_LIBS = unix.cmxa dBus.cmxa threads.cmxa \ -- 2.39.5