X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=geekos%2Fbuild%2FMakefile;h=352199c9b63339f5397ba33fe94c40d73147ca21;hb=e7207dd259484fccd3348602de2e32ca59c6e594;hp=c62d4828591a8f3fb1acae97ead3330aa1348515;hpb=86ad850e874113d7f5aeb862b64cb222d40e903b;p=palacios.git

diff --git a/geekos/build/Makefile b/geekos/build/Makefile
index c62d482..352199c 100644
--- a/geekos/build/Makefile
+++ b/geekos/build/Makefile
@@ -51,7 +51,6 @@ VPATH := $(PROJECT_ROOT)/src
 
 
 
-
 #
 #uIP, ON -- used, OFF -- not used
 #
@@ -79,6 +78,9 @@ LWIP=OFF
 #endif
 
 
+ifeq ($(PROFILE_VMM),1)
+  EXTRA_C_OPTS:= -DPROFILE_VMM
+endif
 
 
 # ----------------------------------------------------------------------