[xenvm] Fix Makefile

diff --git a/xenvm/Makefile b/xenvm/Makefile
index d868106525a4f79ae87e50ed028f0aab494109bf..ab637694d1973e1399929cef5cb4ef986a5bb76c 100644 (file)
--- a/xenvm/Makefile
+++ b/xenvm/Makefile
@@ -16,7 +16,7 @@ OCAMLOPTFLAGS += -thread
 #      balloon device_common hotplug device \
 #      domain
 
-xenvm_OBJS = $(TOPLEVEL)/common/config xenvmlib tasks misc vmconfig vmstate vmact network_manager xenvm
+xenvm_OBJS = $(TOPLEVEL)/common/config xenvmlib tasks misc vmconfig vmstate vmact xenvm
 xenvm-cmd_OBJS = xenvmlib xenvm_cmd
 xenops_OBJS = xenops