X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=c50323ebac5dc88c1e29eb6d1fa915c7685a8f87;hp=3969547a809bdaf178e87dc4b182ad761b410151;hb=362391accc505b29d938e9d0a21bf6a28a8cee34;hpb=24178516ccd9f46718b687d4c630415eb63ff595

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index 3969547..c50323e 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -267,6 +267,7 @@ VMM_OBJS := \
 	palacios/vmm_socket.o \
 	palacios/vmm_xed.o \
 	palacios/vmm_rbtree.o \
+	palacios/vmm_profiler.o \
 
 #		vmx.c vmcs_gen.c vmcs.c