remove one xenvmlib

diff --git a/xenvm/Makefile b/xenvm/Makefile
index 45a275f2fda8016fe2838f2604b3ec7df6dd1eea..769557ca04777fa879685e7c5b3e1d3da55da674 100644 (file)
--- 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 \