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

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
 
 
 # ----------------------------------------------------------------------