X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fbuild%2FMakefile;h=8fbe2a230ef1c30c39bf527f004d4e77ba0cd59e;hb=3496b5b5469fe691a6847eb76d973019bb769318;hp=e93fd63012fbd3d13e2436b36bef5cbccdc74672;hpb=ed814ce69c64a1f24670f21950f3da646f7921df;p=palacios-OLD.git

diff --git a/palacios/build/Makefile b/palacios/build/Makefile
index e93fd63..8fbe2a2 100644
--- a/palacios/build/Makefile
+++ b/palacios/build/Makefile
@@ -217,6 +217,9 @@ endif
 
 
 
+ifeq ($(INSTRUMENT_VMM),1)
+  EXTRA_C_OPTS:= -DINSTRUMENT_VMM
+endif
 
 # ----------------------------------------------------------------------
 # Configuration -
@@ -270,6 +273,7 @@ VMM_OBJS := \
 	palacios/vmm_profiler.o \
 	palacios/vmm_direct_paging.o \
 	palacios/vmm_ringbuffer.o \
+	palacios/vmm_instrument.o \
 
 #		vmx.c vmcs_gen.c vmcs.c
 
@@ -403,7 +407,11 @@ CC_GENERAL_OPTS = \
 #-fPIC \
 #-fvisibility=hidden
 
-
+ifeq ($(INSTRUMENT_VMM),1)
+	INSTRUMENT_OPT = -finstrument-functions
+else
+	INSTRUMENT_OPT = 
+endif
 
 # Flags passed to objcopy program (strip unnecessary sections from kernel.exe)
 OBJCOPY_FLAGS := -R .dynamic -R .note -R .comment
@@ -440,6 +448,7 @@ CC_COMPILE = \
 		-c \
 		$< \
 		-o $@ \
+		$(INSTRUMENT_OPT) \
 	)
 
 AS_COMPILE = \
@@ -449,6 +458,7 @@ AS_COMPILE = \
 		-c \
 		$< \
 		-o $@ \
+		$(INSTRUMENT_OPT) \
 	)